Constraint-Logische Objektorientierte Programmierung mit Muli
Winkelmann Hendrik
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Hanus Michael, Prott Kai-Oliver
Buchtitel: Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Seitenbereich: 115-125
Verlag: Universitätsverlag Kiel
Erscheinungsort: Kiel
Titel der Reihe: Kiel Computer Science Series (ISSN: 2194-6639)
Nr. in Reihe: 2021/7
Status: Veröffentlicht
Veröffentlichungsjahr: 2021 (30.09.2021)
Sprache, in der die Publikation verfasst ist: Deutsch
Konferenz: Proceedings of the 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS), Kiel, Deutschland
Stichwörter: constraint-logische objektorientierte Programmierung; symbolische Ausführung; Programmiersprache; Programmierparadigma
Autor*innen der Universität Münster
| Winkelmann, Hendrik | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |