03969nam 22007935 450 99646596690331620240619233224.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)99267000000004505220100907d2010 u| 0engurnn#008mamaatxtccrFoundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers /edited by Marko van Eekelen, Olha Shkaravska1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (170 p. 35 illus.)Programming and Software Engineering ;6324Bibliographic 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.Programming and Software Engineering ;6324Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsAlgorithmsComputer programmingSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Algorithms.Computer programming.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Programming Techniques.005.1Eekelen M. C. J. D. vanedthttp://id.loc.gov/vocabulary/relators/edtShkaravska Olhaedthttp://id.loc.gov/vocabulary/relators/edtFOPARA 2009BOOK996465966903316Foundational and Practical Aspects of Resource Analysis2829753UNISA