Detail publikace

From Shapes to Amortized Complexity

FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F. From Shapes to Amortized Complexity. In Proceedings of VMCAI'18. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. p. 205-225. ISBN: 978-3-319-73720-1. ISSN: 0302-9743.
Název česky
Od Tvarů K Amortizované Složitosti
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Sinn Moritz (FIT)
Zuleger Florian, Dr. (FIT)
URL
Klíčová slova

program analysis, shape analysis, forest automata, tree automata, resource bounds analysis, amortized complexity

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
ISBN
978-3-319-73720-1
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-73721-8_10
UT WoS
000542031000010
EID Scopus
2-s2.0-85041834425
BibTeX 
@inproceedings{BUT144484,
  author="Tomáš {Fiedor} and Lukáš {Holík} and Adam {Rogalewicz} and Tomáš {Vojnar} and Moritz {Sinn} and Florian {Zuleger}",
  title="From Shapes to Amortized Complexity",
  booktitle="Proceedings of VMCAI'18",
  year="2018",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="10145",
  number="10747",
  pages="205--225",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-319-73721-8\{_}10",
  isbn="978-3-319-73720-1",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007%2F978-3-319-73721-8_10"
}
Nahoru