Constraint-Logische Objektorientierte Programmierung mit Muli

Winkelmann Hendrik

Keywords

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

Cite as

Winkelmann, H. (2021). Constraint-Logische Objektorientierte Programmierung mit Muli. In Hanus, M., & Prott, K.-O. (Eds.), Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 115–125). Kiel Computer Science Series: Vol. 2021/7. Kiel: Department of Computer Science, Kiel University.

Details

Publication type
Research article in proceedings (conference)

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