An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
Forschungsartikel (Buchbeitrag) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Seipel D, Hanus M, Abreu S
Buchtitel: Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.
Seitenbereich: 64-80
Verlag: Springer VDI Verlag
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Artificial Intelligence
Nr. in Reihe: 10997
Status: Veröffentlicht
Veröffentlichungsjahr: 2018
Sprache, in der die Publikation verfasst ist: Englisch
ISBN: 978-3-030-00801-7
Autor*innen der Universität Münster
| Dageförde, Jan | |
| Kuchen, Herbert |
Projekte, aus denen die Publikation entstanden ist
Laufzeit: seit 01.11.2015 Art des Projekts: Eigenmittelprojekt |
Promotionen, aus denen die Publikation resultiert
| An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language Promovend*in: Dageförde, Jan C. | Betreuer*innen: Kuchen, Herbert Zeitraum: bis 07.07.2020 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster |