LEADER 04514nam  22008415  450 
001 9910484835603321
005 20200703141909.0
010   $a3-319-12466-8
024 7 $a10.1007/978-3-319-12466-7
035   $a(CKB)3710000000269701
035   $a(SSID)ssj0001372632
035   $a(PQKBManifestationID)11881978
035   $a(PQKBTitleCode)TC0001372632
035   $a(PQKBWorkID)11305034
035   $a(PQKB)10407023
035   $a(DE-He213)978-3-319-12466-7
035   $a(MiAaPQ)EBC6287734
035   $a(MiAaPQ)EBC5588347
035   $a(Au-PeEL)EBL5588347
035   $a(OCoLC)895042211
035   $a(PPN)182097889
035   $a(EXLCZ)993710000000269701
100   $a20141021d2014      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundational and Practical Aspects of Resource Analysis $eThird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /$fedited by Ugo Dal Lago, Ricardo Peņa
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (IX, 161 p. 34 illus.) 
225 1 $aProgramming and Software Engineering ;$v8552
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-12465-X 
320   $aIncludes bibliographical references and index.
327   $aCertified Complexity (CerCo) -- On the Modular Integration of Abstract Semantics for WCET Analysis -- Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions -- A Hoare Logic for Energy Consumption Analysis -- Reasoning About Resources in the Embedded Systems Language Hume -- On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets -- Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.
330   $aThis book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
410  0$aProgramming and Software Engineering ;$v8552
606   $aComputer system failures
606   $aAlgorithms
606   $aComputer logic
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aComputer system failures.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aComputers.
615 14$aSystem Performance and Evaluation.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputation by Abstract Devices.
676   $a005.12
702   $aDal Lago$b Ugo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPeņa$b Ricardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484835603321
996   $aFoundational and Practical Aspects of Resource Analysis$92829753
997   $aUNINA