Hendrik Winkelmann, Herbert Kuchen. Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing. In Hermann Kaindl, Mike Mannion, Leszek A. Maciaszek, editors, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023. pages 412-419, SCITEPRESS, 2023. [doi]
Abstract is missing.