Constraint-Logische Objektorientierte Programmierung mit Muli
Winkelmann Hendrik
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Hanus Michael, Prott Kai-Oliver
Book title: Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Page range: 115-125
Publishing company: Universitätsverlag Kiel
Place of publication: Kiel
Title of series: Kiel Computer Science Series (ISSN: 2194-6639)
Volume of series: 2021/7
Status: Published
Release year: 2021 (30/09/2021)
Language in which the publication is written: German
Conference: Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Kiel, Germany
Keywords: constraint-logische objektorientierte Programmierung; symbolische Ausführung; Programmiersprache; Programmierparadigma
Authors from the University of Münster
| Winkelmann, Hendrik | Practical Computer Science Group (PI) |