×

zbMATH — the first resource for mathematics

Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. (English) Zbl 1195.68013
Lecture Notes in Computer Science 6324. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). ix, 163 p. (2010).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Albert, Elvira; Arenas, Puri; Genaim, Samir; Herraiz, Israel; Puebla, German, Comparing cost functions in resource analysis, 1-17 [Zbl 1305.68051]
Loidl, Hans-Wolfgang; Jost, Steffen, Improvements to a resource analysis for Hume, 18-33 [Zbl 1305.68061]
Montenegro, Manuel; Peña, Ricardo; Segura, Clara, A space consumption analysis by abstract interpretation, 34-50 [Zbl 1305.68062]
Gaboardi, Marco; Péchoux, Romain, Global and local space properties of stream programs, 51-66 [Zbl 1305.68055]
Trinder, Phil; Cole, Murray; Loidl, Hans-Wolfgang; Michaelson, Greg, Characterising effective resource analyses for parallel and distributed coordination, 67-83 [Zbl 1305.68050]
Avery, James; Kristiansen, Lars; Moyen, Jean-Yves, Static complexity analysis of higher order programs, 84-99 [Zbl 1305.68052]
Dal Lago, Ugo; Martini, Simone, Derivational complexity is an invariant cost model, 100-113 [Zbl 1305.68107]
Roversi, Luca; Vercelli, Luca, A local criterion for polynomial-time stratified computations, 114-130 [Zbl 1306.03016]
Mogbil, Virgile, Non-deterministic Boolean proof nets, 131-145 [Zbl 1306.03015]
Gomaa, Walid, Polynomial time computation in the context of recursive analysis, 146-162 [Zbl 1306.03020]

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