An Operational Semantics for Constraint-logic Imperative Programming

Dageförde Jan C., Kuchen Herbert



Publikationstyp
Buchbeitrag (Sammel-, Herausgeberband)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2018

Konferenz
Declare 2017 – Conference on Declarative Programming

Konferenzort
Würzburg, Deutschland

Buchtitel
Declarative Programming and Knowledge Management. WFLP 2017, WLP 2017, INAP 2017.

Herausgeber
Seipel D, Hanus M, Abreu S

Seiten
64-80

Band
10997

Reihe
Lecture Notes in Computer Science

Verlag
Springer

Ort
Cham

ISBN
978-3-030-00801-7

DOI