An Operational Semantics for Constraint-logic Imperative Programming
Zitieren als
Dageförde, J. C., & Kuchen, H. (2017). An Operational Semantics for Constraint-logic Imperative Programming. In Proceedings of the Declare 2017, Würzburg.Details
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