Constraint-Logische Objektorientierte Programmierung mit Muli
Winkelmann Hendrik
Schlüsselwörter
constraint-logische objektorientierte Programmierung; symbolische Ausführung; Programmiersprache; Programmierparadigma
Publikationstyp
Forschungsartikel in Sammelband (Konferenz)
Begutachtet
Nein
Publikationsstatus
Veröffentlicht
Jahr
2021
Konferenz
Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)
Konferenzort
Kiel
Buchtitel
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Herausgeber
Hanus Michael, Prott Kai-Oliver
Erste Seite
115
Letzte Seite
125
Band
2021/7
Reihe
Kiel Computer Science Series
Verlag
Department of Computer Science, Kiel University
Ort
Kiel
Sprache
Deutsch
ISSN
2194-6639