An Operational Semantics for Constraint-logic Imperative Programming
Zitieren als
Dageförde, J. C., & Kuchen, H. (2018). An Operational Semantics for Constraint-logic Imperative Programming. In Seipel, D., Hanus, M., & Abreu, S. (Eds.), Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017. (pp. 64–80). Lecture Notes in Artificial Intelligence: Vol. 10997. Cham: Springer.Details
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
Erste Seite
64
Letzte Seite
80
Band
10997
Reihe
Lecture Notes in Artificial Intelligence
Verlag
Springer
Ort
Cham
Sprache
Englisch
ISBN
978-3-030-00801-7
DOI