Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing
Winkelmann, Hendrik; Kuchen, Herbert
Keywords
Constraint-Logic Object-Oriented Programming; Constraint Solving; Symbolic Execution; Symbolic Arrays
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2023
Conference
ENASE
Venue
Prag
Book title
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
Editor
Kaindl, Hermann Mannion, Mike Maciaszek, Leszek
Start page
412
End page
419
Publisher
SciTePress
Place
Prague, Czech Republic
Language
English
ISSN
2184-4895
ISBN
978-989-758-647-7
DOI