An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
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
Pages range
64-80
Volume
10997
Title of series
Lecture Notes in Artificial Intelligence
Publisher
Springer
Place
Cham
Language
English
ISBN
978-3-030-00801-7
DOI