Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Khalifa, Mohamed ; Fesefeldt, Ira Justus ; Noll, Thomas ; Katoen, Joost-Pieter 2020 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1227020767
- Titel
-
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Mohamed Khalifa ; Ira Justus Fesefeldt, Thomas Noll, Joost-Pieter Katoen
- Autor(en)
-
- Khalifa, Mohamed
- Fesefeldt, Ira Justus
- Noll, Thomas
- Katoen, Joost-Pieter
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2020]
- Jahr
- Erscheinungsdatum: 2020
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2020-10469
- Online
- https://doi.org/10.18154/RWTH-2020-10469
- Sprache
- eng
- Stand
- 18.11.2025 10:02
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
