Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing
Winkelmann, Hendrik; Kuchen, Herbert
Schlüsselwörter
Constraint-Logic Object-Oriented Programming; Constraint Solving; Symbolic Execution; Symbolic Arrays
Publikationstyp
Forschungsartikel in Sammelband (Konferenz)
Begutachtet
Ja
Publikationsstatus
Veröffentlicht
Jahr
2023
Konferenz
ENASE
Konferenzort
Prag
Buchtitel
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
Herausgeber
Kaindl, Hermann Mannion, Mike Maciaszek, Leszek
Erste Seite
412
Letzte Seite
419
Verlag
SciTePress
Ort
Prague, Czech Republic
Sprache
Englisch
ISSN
2184-4895
ISBN
978-989-758-647-7
DOI