An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
Research article (book contribution) | Peer reviewedDetails about the publication
Editors: Seipel D, Hanus M, Abreu S
Book title: Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.
Page range: 64-80
Publisher: Springer VDI Verlag
Place of publication: Cham
Title of series: Lecture Notes in Artificial Intelligence
Volume of series: 10997
Status: Published
Release year: 2018
Language in which the publication is written: English
ISBN: 978-3-030-00801-7
Authors from the University of Münster
| Dageförde, Jan | |
| Kuchen, Herbert |
Projects the publication originates from
Duration: since 01/11/2015 Type of project: Own resources project |
Doctorates the publication originates from
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Candidate: Dageförde, Jan C. | Supervisors: Kuchen, Herbert Period of time: until 07/07/2020 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster |