An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
Publikationstyp
Forschungsartikel (Buchbeitrag)
Begutachtet
Ja
Publikationsstatus
Veröffentlicht
Jahr
2018
Konferenz
Declare 2017 – Conference on Declarative Programming
Konferenzort
Würzburg, Deutschland
Buchtitel
Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.
Herausgeber
Seipel D, Hanus M, Abreu S
Seiten
64-80
Band
10997
Reihe
Lecture Notes in Artificial Intelligence
Verlag
Springer
Ort
Cham
Sprache
Englisch
ISBN
978-3-030-00801-7
DOI