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

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

Published by RWTH Aachen University.

2020   Volume RWTH Aachen University, p2020

Archived Files and Locations

application/pdf  782.8 kB
file_wluuvpjhandgfgha5vipvs5zwu (publisher) (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2020-10-16
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c3b99517-1dc7-46bf-af4f-d95884536651