Detail publikace

Monotonic Abstraction for Programs with Multiply-Linked Structures

ABDULLA Parosh A., CEDERBERG Jonathan a VOJNAR Tomáš. Monotonic Abstraction for Programs with Multiply-Linked Structures. International Journal of Foundations of Computer Science, roč. 24, č. 2, 2013, s. 187-210. ISSN 0129-0541. Dostupné z: http://www.worldscientific.com/doi/abs/10.1142/S0129054113400078
Název česky
Monotónní abstrakce pro programy s dynamickými datovými strukturami s více selektory
Typ
článek v časopise
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Cederberg Jonathan (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
BibTeX
@ARTICLE{FITPUB10370,
   author = "A. Parosh Abdulla and Jonathan Cederberg and Tom\'{a}\v{s} Vojnar",
   title = "Monotonic Abstraction for Programs with Multiply-Linked Structures",
   pages = "187--210",
   journal = "International Journal of Foundations of Computer Science",
   volume = 24,
   number = 2,
   year = 2013,
   ISSN = "0129-0541",
   doi = "10.1142/S0129054113400078",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10370"
}
Nahoru