An Operational Semantics for Constraint-logic Imperative Programming

Dageförde Jan C., Kuchen Herbert



Publication type
Conference Paper

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

Full text