Monotonic Abstraction for Programs with Multiply-Linked Structures
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106375" target="_blank" >RIV/00216305:26230/13:PU106375 - isvavai.cz</a>
Result on the web
<a href="http://www.worldscientific.com/doi/abs/10.1142/S0129054113400078" target="_blank" >http://www.worldscientific.com/doi/abs/10.1142/S0129054113400078</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0129054113400078" target="_blank" >10.1142/S0129054113400078</a>
Alternative languages
Result language
angličtina
Original language name
Monotonic Abstraction for Programs with Multiply-Linked Structures
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>ost</sub> - Miscellaneous article in a specialist periodical
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of Foundations of Computer Science
ISSN
0129-0541
e-ISSN
1793-6373
Volume of the periodical
24
Issue of the periodical within the volume
2
Country of publishing house
SG - SINGAPORE
Number of pages
24
Pages from-to
187-210
UT code for WoS article
—
EID of the result in the Scopus database
—