@inproceedings{10.1007/978-3-662-55751-8_1,
    Abstract = {We show how recent results concerning quantitative forms of automata help providing refined understanding of the properties of a system (for instance, a program). In particular, combining the size-change abstraction together with results concerning the asymptotic behavior of tropical automata yields extremely fine complexity analysis of some pieces of code.},
    Address = {Berlin, Heidelberg},
    Author = {Colcombet, Thomas and Daviaud, Laure and Zuleger, Florian},
    BookTitle = {Fundamentals of Computation Theory},
    Editor = {Klasing, Ralf and Zeitoun, Marc},
    File = {Colcombet2017\_Chapter\_AutomataAndProgramAnalysis (0) - a - a - t.pdf},
    ISBN = {978-3-662-55751-8},
    Pages = {3--10},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Automata and Program Analysis},
    Year = {2017},
    date-added = {2019-02-12 09:44:17 +0100},
    date-modified = {2019-02-12 09:44:17 +0100},
    doi = {10.1007/978-3-662-55751-8_1}
}

@inproceedings{10.1007/978-3-662-55751-8_1, Abstract = {We show how recent results concerning quantitative forms of automata help providing refined understanding of the properties of a system (for instance, a program). In particular, combining the size-change abstraction together with results concerning the asymptotic behavior of tropical automata yields extremely fine complexity analysis of some pieces of code.}, Address = {Berlin, Heidelberg}, Author = {Colcombet, Thomas and Daviaud, Laure and Zuleger, Florian}, BookTitle = {Fundamentals of Computation Theory}, Editor = {Klasing, Ralf and Zeitoun, Marc}, File = {Colcombet2017_Chapter_AutomataAndProgramAnalysis (0) - a - a - t.pdf}, ISBN = {978-3-662-55751-8}, Pages = {3--10}, Publisher = {Springer Berlin Heidelberg}, Title = {Automata and Program Analysis}, Year = {2017}, date-added = {2019-02-12 09:44:17 +0100}, date-modified = {2019-02-12 09:44:17 +0100}, doi = {10.1007/978-3-662-55751-8_1} }