Jan C. Dageförde, Herbert Kuchen. An Operational Semantics for Constraint-Logic Imperative Programming. In Dietmar Seipel, Michael Hanus, Salvador Abreu, editors, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Volume 10997 of Lecture Notes in Computer Science, pages 64-80, Springer, 2017. [doi]
Abstract is missing.