onr:"swepub:oai:DiVA.org:uu-190238"
Search: onr:"swepub:oai:DiVA.org:uu-190238" > Monotonic abstracti...
- 1 of 1
- Previous record
- Next record
- To hitlist
Monotonic abstraction for programs with multiply-linked structures
-
- Abdulla, Parosh Aziz (author)
- Uppsala universitet,Datorteknik
-
- Cederberg, Jonathan (author)
- Uppsala universitet,Datorteknik
- Vojnar, Tomás (author)
- (creator_code:org_t)
- 2013
- 2013
- English.
- In: International Journal of Foundations of Computer Science. - 0129-0541. ; 24:2, s. 187-210
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- We investigate the use of monotonic abstraction and backward reachability analysis as means of performing shape analysis on programs with multiply pointed structures. By encoding the heap as a vertex- and edge-labeled graph, we can model the low level behaviour exhibited by programs written in the C programming language. Using the notion of signatures, which are predicates that define sets of heaps, we can check properties such as absence of null pointer dereference and shape invariants. We report on the results from running a prototype based on the method on several programs such as insertion into and merging of doubly-linked lists.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- International Journal of Foundations of Computer Science (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Abdulla, Parosh ...
- Cederberg, Jonat ...
- Vojnar, Tomás
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- International Jo ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
