zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 223-236 (2010).
MSC:  68N18
BibTeX Cite
Full Text: DOI
van Eekelen, Marko (ed.) et al., Foundational and practical aspects of resource analysis. First international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15330-3/pbk). Lecture Notes in Computer Science 6324, 18-33 (2010).
MSC:  68N30 68N15
BibTeX Cite
Full Text: DOI

Filter Results by …