×

zbMATH — the first resource for mathematics

Foundational and practical aspects of resource analysis. Second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011. Revised selected papers. (English) Zbl 1250.68046
Lecture Notes in Computer Science 7177. Berlin: Springer (ISBN 978-3-642-32494-9/pbk). ix, 143 p. (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1195.68013].
Indexed articles:
Dal Lago, Ugo; Parisen Toldin, Paolo, A higher-order characterization of probabilistic polynomial time, 1-18 [Zbl 1367.68103]
Cesena, Emanuele; Pedicini, Marco; Roversi, Luca, Typing a core binary-field arithmetic in a light logic, 19-35 [Zbl 1367.68050]
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo, Interpolation-based height analysis for improving a recurrence solver, 36-53 [Zbl 1367.68071]
Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco; Hermenegildo, Manuel, Interval-based resource usage verification: formalization and prototype, 54-71 [Zbl 1367.68067]
Amadio, Roberto M.; Régis-Gianas, Yann, Certifying and reasoning on cost annotations of functional programs, 72-89 [Zbl 1367.68046]
Asăvoae, Mihail; Asăvoae, Irina Măriuca; Lucanu, Dorel, On abstractions for timing analysis in the \(\mathbb{K}\) framework, 90-107 [Zbl 1367.68058]
Rodrigues, Vítor; Pedroso, João Pedro; Florido, Mário; de Sousa, Simão Melo, Certifying execution time, 108-125 [Zbl 1367.68074]
Herrmann, Christoph A.; Hammond, Kevin, Counter automata for parameterised timing analysis of box-based systems, 126-141 [Zbl 1367.68020]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite