Constraint-Logic Object-Oriented Programming on the Java']Java Virtual Machine

Constraint-logic object-oriented programming is a paradigm by means of which multiple application areas, such as the formulation of and solving constraint-satisfaction problems, the systematic generation of object graphs, and test-case generation become language features. This paradigm has been implemented in the prototypical programming language Muli. Though the usefulness of aforementioned features has been demonstrated in the past, Muli has seen little practical adoption. The reasons for this is the performance of the current implementation of Muli and its technical incompatibility with existing systems. In this paper, we give further details on these limitations, derive desiderata for a new implementation of Muli and design a new system, Mulib, that enables the features of this paradigm on a standard Java virtual machine. In this context, we furthermore provide the means to efficiently make use of incremental constraint solvers in a parallel setting.