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. Lecture Notes in Computer Science, roč. 2011, č. 6945, s. 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
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
2011
Strany
125-138
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6945, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB9707,
   author = "A. Parosh Abdulla and Jonathan Cederberg and Tom\'{a}\v{s} Vojnar",
   title = "Monotonic Abstraction for Programs with Multiply-Linked Structures",
   pages = "125--138",
   journal = "Lecture Notes in Computer Science",
   volume = 2011,
   number = 6945,
   year = 2011,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9707"
}
Nahoru