3 papers
cs.SE2025
A Reference Architecture for Embedding Quantum Software Into Enterprise Systems
Marc Uphues, Sebastian Thöne, Herbert Kuchen
Quantum computing promises a remarkable performance boost for certain applications, including computational intensive problems addressed by enterprise systems. However, software ar…
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…