An Operational Semantics for Constraint-logic Imperative Programming

Dageförde Jan C., Kuchen Herbert



Publication type
Chapter in Book

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 Computer Science

Publisher
Springer

Place
Cham

ISBN
978-3-030-00801-7

DOI