zbMATH — the first resource for mathematics

Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. (English) Zbl 1326.68011
Lecture Notes in Computer Science 8552. Cham: Springer (ISBN 978-3-319-12465-0/pbk; 978-3-319-12466-7/ebook). ix, 161 p. (2014).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1250.68046].
Indexed articles:
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo, Certified complexity (CerCo), 1-18 [Zbl 1445.68057]
Asăvoae, Mihail; Asăvoae, Irina Măriuca, On the modular integration of abstract semantics for WCET analysis, 19-37 [Zbl 1445.68037]
Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, Marco; Roversi, Luca, Can a light typing discipline be compatible with an efficient implementation of finite fields inversion?, 38-57 [Zbl 1445.68045]
Di Pierro, Alessandra; Wiklicky, Herbert, Probabilistic analysis of programs: a weak limit approach, 58-76 [Zbl 1445.68051]
Eguchi, Naohi, Predicative lexicographic path orders. An application of term rewriting to the region of primitive recursive functions, 77-92 [Zbl 1445.68118]
Kersten, Rody; Parisen Toldin, Paolo; van Gastel, Bernard; van Eekelen, Marko, A Hoare logic for energy consumption analysis, 93-109 [Zbl 1445.68054]
Loidl, Hans-Wolfgang; Grov, Gudmund, Reasoning about resources in the embedded systems language Hume, 110-126 [Zbl 1445.68044]
Perrinel, Matthieu, On paths-based criteria for polynomial time complexity in proof-nets, 127-142 [Zbl 1445.68102]
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro, Collected size semantics for strict functional programs over general polymorphic lists, 143-159 [Zbl 1445.68047]

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
Full Text: DOI