An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2017
Conference
Declare 2017
Venue
Würzburg
Book title
Declare 2017 – Conference on Declarative Programming
Editor
Seipel D, Hanus M, Abreu S
Volume
499
Title of series
Technical Report
Place
Würzburg
Language
English
Full text