LAR1:uu
Sökning: LAR1:uu > Monotonic abstracti...
- 1533 av 274635
- Föregående post
- Nästa post
- Till träfflistan
Monotonic abstraction for programs with dynamic memory heaps
-
- Abdulla, Parosh Aziz (författare)
- Uppsala universitet,Datorteknik
- Bouajjani, Ahmed (författare)
-
- Cederberg, Jonathan (författare)
- Uppsala universitet,Datorteknik
- visa fler...
- visa färre...
- (creator_code:org_t)
- Berlin : Springer-Verlag, 2008
- 2008
- Engelska.
- Serie: Technical report / Department of Information Technology, Uppsala University, 1404-3203 ; 2008-015
- Ingår i: Computer Aided Verification. - Berlin : Springer-Verlag. ; , s. 341-354
- Konferensbidrag (refereegranskat)
Abstract
Ämnesord
Stäng
- We propose a new approach for automatic verification of programs with dynamic heap manipulation. The method is based on symbolic (backward) reachability analysis using upward-closed sets of heaps w.r.t. an appropriate preorder on graphs. These sets are represented by a finite set of minimal graph patterns corresponding to a set of bad configurations. We define an abstract semantics for the programs which is monotonic w.r.t. the preorder. Moreover, we prove that our analysis always terminates by showing that the preorder is a well-quasi ordering. Our results are presented for the case of programs with 1-next selector. We provide experimental results showing the effectiveness of our approach.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Till lärosätets databas
- 1533 av 274635
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Abdulla, Parosh ...
- Bouajjani, Ahmed
- Cederberg, Jonat ...
- Haziza, Frédéric
- Rezine, Ahmed
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Delar i serien
- Technical report ...
- Artiklar i publikationen
- Computer Aided V ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
