Clánek v casopise

 
Abdulla, P., A., Cederberg, J., Vojnar, T.: Monotonic Abstraction for Programs with Multiply-Linked Structures, In: Lecture Notes in Computer Science, roc. 2011, c. 6945, DE, s. 125-138, ISSN 0302-9743
Jazyk publikace:anglictina
Název publikace:Monotonic Abstraction for Programs with Multiply-Linked Structures
Název (cs):Monotónní abstrakce pro programy s dynamickými datovými strukturami s více selektory
Strany:125-138
Místo vydání:DE
Rok:2011
Casopis:Lecture Notes in Computer Science, roc. 2011, c. 6945, DE
ISSN:0302-9743
URL:http://www.springerlink.com/content/u75210w230688v22 [HTML]
Klícová 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
Anotace
Clánek navrhuje vyuzití monotónní abstrakce a vzhuru uzavrených mnozin pro verifikaci bezpecnosti práce s pametí v programech s dynamickými datovými strukturami s více selektory.
BibTeX:
@ARTICLE{
   author = {A. Parosh Abdulla and Jonathan Cederberg and Tomá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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9707}
}