uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Monotonic abstraction for programs with multiply-linked structures
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2013 (engelsk)Inngår i: International Journal of Foundations of Computer Science, ISSN 0129-0541, Vol. 24, nr 2, s. 187-210Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

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.

sted, utgiver, år, opplag, sider
2013. Vol. 24, nr 2, s. 187-210
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-190238DOI: 10.1142/S0129054113400078ISI: 000319838100003OAI: oai:DiVA.org:uu-190238DiVA, id: diva2:583204
Prosjekter
UPMARC
Forskningsfinansiär
Swedish Research CouncilTilgjengelig fra: 2013-01-08 Laget: 2013-01-07 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(347 kB)321 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 347 kBChecksum SHA-512
a29db6233b6b043ddd707ca801638aacc4c503233bf2b9dbeb1e0ca0a2a89a6af2dde9571887f0b337e1a7a41082e3f999ff5e1257a22547805690f9e85d107d
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Abdulla, Parosh AzizCederberg, Jonathan

Søk i DiVA

Av forfatter/redaktør
Abdulla, Parosh AzizCederberg, Jonathan
Av organisasjonen
I samme tidsskrift
International Journal of Foundations of Computer Science

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 321 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 1332 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf