Implementation of a predicate-guided termination snalysis for pointer programs

by Mohamed Khalifa, Ira Justus Fesefeldt, Thomas Noll, Joost-Pieter Katoen

Published by RWTH Aachen University.

2020 Volume RWTH Aachen University, p2020

application/pdf 782.8 kB
file_wluuvpjhandgfgha5vipvs5zwu publications.rwth-aachen.de (publisher)
web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Date 2020-10-16
Language en ^?

DOI 10.18154/rwth-2020-10469

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: c3b99517-1dc7-46bf-af4f-d95884536651
API URL: JSON

Implementation of a predicate-guided termination snalysis for pointer programs release_jvswciewxrgddoqaan64s3gsra