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)
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" }