Detail publikace

Monotonic Abstraction for Programs with Multiply-Linked Structures

CEDERBERG, J.; VOJNAR, T.; ABDULLA, P. Monotonic Abstraction for Programs with Multiply-Linked Structures. International Journal of Foundations of Computer Science, 2013, vol. 24, no. 2, p. 187-210. ISSN: 0129-0541.
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
2013
Strany
187–210
Časopis
International Journal of Foundations of Computer Science, roč. 24, č. 2, ISSN 0129-0541
DOI
10.1142/S0129054113400078
BibTeX 
@article{BUT103515,
  author="Jonathan {Cederberg} and Tomáš {Vojnar} and Parosh {Abdulla}",
  title="Monotonic Abstraction for Programs with Multiply-Linked Structures",
  journal="International Journal of Foundations of Computer Science",
  year="2013",
  volume="24",
  number="2",
  pages="187--210",
  doi="10.1142/S0129054113400078",
  issn="0129-0541",
  url="http://www.worldscientific.com/doi/abs/10.1142/S0129054113400078"
}
Nahoru