Detail publikace

From Low-Level Pointers to High-Level Containers

DUDKA, K.; HOLÍK, L.; PERINGER, P.; TRTÍK, M.; VOJNAR, T. From Low-Level Pointers to High-Level Containers. In Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2016. p. 431-452. ISBN: 978-3-662-49121-8.
Název česky
Od nízkoúrovnňových ukazatelů k vysokoúrovňovým kontejnerům
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dudka Kamil, Ing.
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Trtík Marek (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

program analysis, static analysis, shape analysis, heap abstraction, symbolic memory graphs, program transformation, pointer programs, container programs

Abstrakt

Článek popisuje novou metodu transformace programu v jazyce C, který používá nízkoúrovňové operace s ukazateli, na ekvivalentní program používající vysokoúrovňové operace nad kontejnery jako například push_back nebo pop_front. Tato metoda byla experimentálně implementována a otestována na kontejnerech typu seznam.

Rok
2016
Strany
431–452
Sborník
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Řada
Lecture Notes in Computer Science
Svazek
9583
ISBN
978-3-662-49121-8
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
DOI
10.1007/978-3-662-49122-5_21
UT WoS
000375148800021
EID Scopus
2-s2.0-84955248407
BibTeX 
@inproceedings{BUT130929,
  author="Kamil {Dudka} and Lukáš {Holík} and Petr {Peringer} and Marek {Trtík} and Tomáš {Vojnar}",
  title="From Low-Level Pointers to High-Level Containers",
  booktitle="Verification, Model Checking, and Abstract Interpretation (VMCAI)",
  year="2016",
  series="Lecture Notes in Computer Science",
  volume="9583",
  pages="431--452",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  doi="10.1007/978-3-662-49122-5\{_}21",
  isbn="978-3-662-49121-8",
  url="http://www.springer.com/la/book/9783662491218"
}
Nahoru