Detail publikace

From Low-Level Pointers to High-Level Containers

DUDKA Kamil, HOLÍK Lukáš, PERINGER Petr, TRTÍK Marek a VOJNAR Tomáš. From Low-Level Pointers to High-Level Containers. In: Verification, Model Checking, and Abstract Interpretation (VMCAI). Lecture Notes in Computer Science, roč. 9583. Berlin Heidelberg: Springer Verlag, 2016, s. 431-452. ISBN 978-3-662-49121-8. Dostupné z: http://www.springer.com/la/book/9783662491218
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
angličtina
Autoři
Dudka Kamil, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Trtík Marek, Mgr., Ph.D. (FI MUNI)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2016)/Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg, Florida, US
ISBN
978-3-662-49121-8
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
DOI
UT WoS
000375148800021
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11060,
   author = "Kamil Dudka and Luk\'{a}\v{s} Hol\'{i}k and Petr Peringer and Marek Trt\'{i}k and Tom\'{a}\v{s} Vojnar",
   title = "From Low-Level Pointers to High-Level Containers",
   pages = "431--452",
   booktitle = "Verification, Model Checking, and Abstract Interpretation (VMCAI)",
   series = "Lecture Notes in Computer Science",
   volume = 9583,
   year = 2016,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-49121-8",
   doi = "10.1007/978-3-662-49122-5\_21",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11060"
}
Nahoru