02628nam 2200589 a 450 991048311690332120200520144314.01-280-38850-197866135664233-642-15331-310.1007/978-3-642-15331-0(CKB)2670000000045052(SSID)ssj0000446477(PQKBManifestationID)11318358(PQKBTitleCode)TC0000446477(PQKBWorkID)10496049(PQKB)10955450(DE-He213)978-3-642-15331-0(MiAaPQ)EBC3065809(PPN)149025130(EXLCZ)99267000000004505220100729d2010 uy 0engurnn#008mamaatxtccrFoundational and practical aspects of resource analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009 : revised selected papers /Marko van Eekelen, Olha Shkaravska, (eds.)1st ed.Berlin Springer20101 online resource (170 p. 35 illus.)Lecture notes in computer science,0302-9743 ;6324LNCS sublibrary. SL 2, Programming and software engineeringBibliographic Level Mode of Issuance: Monograph3-642-15330-5 Includes bibliographical references and index.FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis for Hume -- A Space Consumption Analysis by Abstract Interpretation -- Global and Local Space Properties of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination -- Static Complexity Analysis of Higher Order Programs -- Derivational Complexity Is an Invariant Cost Model -- A Local Criterion for Polynomial-Time Stratified Computations -- Non-deterministic Boolean Proof Nets -- Polynomial Time Computation in the Context of Recursive Analysis.Lecture notes in computer science ;6324.LNCS sublibrary.SL 2,Programming and software engineering.Computer softwareDevelopmentCongressesComputer softwareDevelopment005.1Van Eekelen Marko972421Shkaravska Olha1756539FOPARA 2009MiAaPQMiAaPQMiAaPQBOOK9910483116903321Foundational and practical aspects of resource analysis4193859UNINA