An Operational Semantics for Constraint-logic Imperative Programming

Dageförde Jan C., Kuchen Herbert



Publikationstyp
Aufsatz (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

Gesamter Text