Showing cs.PLShow all
2 papers · 1 filter
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
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Jan C. Dageförde, Finn Teegen
In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the n…