LEADER 00940nam a22002531i 4500 001 991003730549707536 005 20030918095706.0 008 031111s1988 it |||||||||||||||||eng 035 $ab12466840-39ule_inst 035 $aARCHE-050012$9ExL 040 $aDip.to Lingue$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 082 04$a823.912 100 1 $aConrad, Joseph$0153570 245 10$aAuthors notes /$cJoseph Conrad ; a cura di Marialuisa Bignami 260 $aBari :$bAdriatica,$c1988 300 $a198 p. ;$c22 cm 440 0$aBiblioteca italiana di testi inglesi.$nNuova Serie ;$v26 700 1 $aBignami, Marialuisa 907 $a.b12466840$b02-04-14$c13-11-03 912 $a991003730549707536 945 $aLE012 828.91 CON 34$g1$i2012000230453$lle012$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12897553$z13-11-03 996 $aAuthors notes$9181691 997 $aUNISALENTO 998 $ale012$b13-11-03$cm$da $e-$feng$git $h0$i1 LEADER 03956nam 22008175 450 001 9910484835603321 005 20251226203908.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,$x2945-9168 ;$v8552 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9168 ;$v8552 606 $aElectronic digital computers$xEvaluation 606 $aAlgorithms 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aSystem Performance and Evaluation 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aTheory of Computation 615 0$aElectronic digital computers$xEvaluation. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 14$aSystem Performance and Evaluation. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aTheory of Computation. 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