Detail publikace

Monotonic Abstraction for Programs with Multiply-Linked Structures

CEDERBERG, J.; VOJNAR, T.; ABDULLA, P. Monotonic Abstraction for Programs with Multiply-Linked Structures. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6945, p. 125-138. ISSN: 0302-9743.
Název česky
Monotónní abstrakce pro programy s dynamickými datovými strukturami s více selektory
Typ
článek v časopise
Jazyk
anglicky
Autoři
Cederberg Jonathan
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
URL
Klíčová slova

formal verification, program analysis, upward closed sets, monotonic abstraction, dynamic memory, pointers, dynamic linked data structures, multiple selectors, doubly-linked lists, trees, null pointer dereference, dangling pointers, memory leakage

Abstrakt

Článek navrhuje využití monotónní abstrakce a vzhůru uzavřených množin pro verifikaci bezpečnosti práce s pamětí v programech s dynamickými datovými strukturami s více selektory.

Rok
2011
Strany
125–138
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6945, ISSN 0302-9743
BibTeX 
@article{BUT76409,
  author="Jonathan {Cederberg} and Tomáš {Vojnar} and Parosh {Abdulla}",
  title="Monotonic Abstraction for Programs with Multiply-Linked Structures",
  journal="Lecture Notes in Computer Science",
  year="2011",
  volume="2011",
  number="6945",
  pages="125--138",
  issn="0302-9743",
  url="http://www.springerlink.com/content/u75210w230688v22"
}
Nahoru