Muli: Constraint-Programmierung in Java auf symbolischer JVM

Dageförde Jan C., Kuchen Herbert



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Nein

Publikationsstatus
Veröffentlicht

Jahr
2017

Konferenz
19. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS)

Konferenzort
Weimar

Herausgeber
Amme W, Heinze TS

Band
Math/Inf/02/2017

Reihe
Jenaer Schriften zur Mathematik und Informatik