Constraint-Logische Objektorientierte Programmierung mit Muli

Winkelmann Hendrik

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

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