2 papers
cs.PL2020
Constraint-Logic Object-Oriented Programming with Free Arrays
Jan C. Dageförde, Herbert Kuchen
Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability to use logic variables, constr…
cs.PL2019
Pre-proceedings of the DECLARE 2019 Conference
Salvador Abreu, Petra Hofstedt, Ulrich John +2
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declara…