Journal article icon

Journal article

Bit-precise procedure-modular termination analysis

Abstract:
Non-termination is the root cause of a variety of program bugs, such as hanging programs and vulnerabilities to denial-of-service attacks. This makes an automated analysis that can prove the absence of such bugs highly desirable. To scale terminat...Expand abstract...
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/3121136

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Schrammel, P More by this author
Wachter, B More by this author
European Research Council More from this funder
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ACM Transactions on Programming Languages and Systems More in this journal
Volume:
40
Issue:
1
Pages:
Article: 1
Publication date:
2018-01-03
DOI:
EISSN:
1558-4593
ISSN:
0164-0925
Pubs id:
pubs:697148
URN:
uri:cd7de2f3-92df-43b3-af8b-7fad50688894
UUID:
uuid:cd7de2f3-92df-43b3-af8b-7fad50688894
Local pid:
pubs:697148

Terms of use


Stats


Views & Downloads


If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP