University of Münster
CRIS@UM
DE | EN

Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing

Winkelmann, Hendrik; Kuchen, Herbert

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Publisher: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek
Book title: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
Page range: 412-419
Publishing company: SciTePress
Place of publication: Prague, Czech Republic
Status: Published
Release year: 2023 (10/05/2023)
Language in which the publication is written: English
Conference: ENASE, Prag, Czech Republic
ISBN: 978-989-758-647-7
DOI: 10.5220/0011849200003464
Keywords: Constraint-Logic Object-Oriented Programming; Constraint Solving; Symbolic Execution; Symbolic Arrays

Authors from the University of Münster

Kuchen, Herbert
Practical Computer Science Group (PI)
Winkelmann, Hendrik
Practical Computer Science Group (PI)