An Operational Semantics for Constraint-logic Imperative Programming
Cite as
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
Publication type
Research article (book contribution)
Peer reviewed
Yes
Publication status
Published
Year
2018
Conference
Declare 2017 – Conference on Declarative Programming
Venue
Würzburg, Deutschland
Book title
Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.
Editor
Seipel D, Hanus M, Abreu S
Start page
64
End page
80
Volume
10997
Title of series
Lecture Notes in Artificial Intelligence
Publisher
Springer
Place
Cham
Language
English
ISBN
978-3-030-00801-7
DOI