Článek ve sborníku konference

FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš a ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. 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
Jazyk publikace:angličtina
Název publikace:From Shapes to Amortized Complexity
Název (cs):Od Tvarů K Amortizované Složitosti
Strany:205-225
Sborník:Proceedings of VMCAI'18
Konference:International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)/Symposium on Principles of Programming Languages (POPL 2018)
Řada knih:Lecture Notes in Computer Science 10145
Místo vydání:Heidelberg, DE
Rok:2018
URL:https://link.springer.com/chapter/10.1007%2F978-3-319-73721-8_10
ISBN:978-3-319-73720-1
Časopis:Lecture Notes in Computer Science, č. 10747, DE
ISSN:0302-9743
DOI:10.1007/978-3-319-73721-8_10
Vydavatel:Springer Verlag
Klíčová slova
program analysis, shape analysis, forest automata, tree automata, resource bounds analysis, amortized complexity
Anotace
Tento článek představuje rozšíření analýzy tvaru pro podporu automatizované analýzy složitosti pro programy využívající ukazatele.
BibTeX:
@INPROCEEDINGS{
   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 10145},
   journal = {Lecture Notes in Computer Science},
 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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11561}
}

Vaše IPv4 adresa: 18.232.124.77
Přepnout na https