Constraint-Logische Objektorientierte Programmierung mit Muli

Winkelmann Hendrik


Keywords
constraint-logische objektorientierte Programmierung; symbolische Ausführung; Programmiersprache; Programmierparadigma



Publication type
Forschungsartikel in Sammelband (Konferenz)

Peer reviewed
No

Publication status
Published

Year
2021

Conference
Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)

Venue
Kiel

Book title
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Editor
Hanus Michael, Prott Kai-Oliver

Start page
115

End page
125

Volume
2021/7

Title of series
Kiel Computer Science Series

Publisher
Department of Computer Science, Kiel University

Place
Kiel

Language
German

ISSN
2194-6639