Detail publikace

From Shapes to Amortized Complexity

FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš a ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, roč. 10145. Heidelberg: Springer Verlag, 2018, s. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-319-73721-8_10
Název česky
Od Tvarů K Amortizované Složitosti
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Sinn Moritz, Dr. (FHS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zuleger Florian, Dr. (FORSYTE)
URL
Abstrakt

Tento článek představuje rozšíření analýzy tvaru pro podporu automatizované analýzy složitosti pro programy využívající ukazatele.

Rok
2018
Strany
205-225
Časopis
Lecture Notes in Computer Science, roč. 10145, č. 10747, ISSN 0302-9743
Sborník
Proceedings of VMCAI'18
Řada
Lecture Notes in Computer Science
Konference
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)/Symposium on Principles of Programming Languages (POPL 2018), Los Angeles, US
ISBN
978-3-319-73720-1
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
UT WoS
000542031000010
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11561,
   author = "Tom\'{a}\v{s} Fiedor and Luk\'{a}\v{s} Hol\'{i}k and Adam Rogalewicz and Moritz Sinn and Tom\'{a}\v{s} Vojnar and Florian Zuleger",
   title = "From Shapes to Amortized Complexity",
   pages = "205--225",
   booktitle = "Proceedings of VMCAI'18",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 10145,
   number = 10747,
   year = 2018,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-73720-1",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-319-73721-8\_10",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11561"
}
Nahoru