An Operational Semantics for Constraint-logic Imperative Programming
Dageförde Jan C., Kuchen Herbert
Publikationstyp
Forschungsartikel in Sammelband (Konferenz)
Begutachtet
Ja
Publikationsstatus
Veröffentlicht
Jahr
2017
Konferenz
Declare 2017
Konferenzort
Würzburg
Buchtitel
Declare 2017 – Conference on Declarative Programming
Herausgeber
Seipel D, Hanus M, Abreu S
Band
499
Reihe
Technical Report
Ort
Würzburg
Sprache
Englisch
Gesamter Text