Constraint-Logic Object-Oriented Programming with Free Arrays of Reference-Typed Elements via Symbolic Aliasing
Winkelmann, Hendrik; Kuchen, Herbert
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Kaindl, Hermann Mannion, Mike Maciaszek, Leszek
Buchtitel: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
Seitenbereich: 412-419
Verlag: SciTePress
Erscheinungsort: Prague, Czech Republic
Status: Veröffentlicht
Veröffentlichungsjahr: 2023 (10.05.2023)
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: ENASE, Prag, Tschechien
ISBN: 978-989-758-647-7
Stichwörter: Constraint-Logic Object-Oriented Programming; Constraint Solving; Symbolic Execution; Symbolic Arrays
Autor*innen der Universität Münster
| Kuchen, Herbert | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |
| Winkelmann, Hendrik | Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen) (PI) |