An Operational Semantics for Constraint-logic Imperative Programming

Dageförde Jan C., Kuchen Herbert



Publication type
Forschungsartikel in Sammelband (Konferenz)

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