LEADER 04523nam 2200649 a 450 001 9910484355203321 005 20251116185529.0 010 $a1-280-38722-X 010 $a9786613565143 010 $a3-642-13678-8 024 7 $a10.1007/978-3-642-13678-8 035 $a(CKB)2670000000028943 035 $a(SSID)ssj0000446474 035 $a(PQKBManifestationID)11297677 035 $a(PQKBTitleCode)TC0000446474 035 $a(PQKBWorkID)10496328 035 $a(PQKB)10081136 035 $a(DE-He213)978-3-642-13678-8 035 $a(MiAaPQ)EBC3065467 035 $a(PPN)149063946 035 $a(BIP)30955846 035 $a(EXLCZ)992670000000028943 100 $a20100506d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal methods for quantitative aspects of programming languages $e10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /$fAlessandro Aldini ... [et al.], (eds.) 205 $a1st ed. 2010. 210 $aBerlin ;$aHeidelberg $cSpringer-Verlag$d2010 215 $a1 online resource (VII, 169 p. 31 illus.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6154 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-13677-X 320 $aIncludes bibliographical references and index. 327 $aProbabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff. 330 $aThis volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o'er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2010 was devoted to formal methods for quantitative aspects of p- gramminglanguagesandcoveredseveraltopicsincludingprobabilisticandtimed models, model checking, static analysis, quantum computing, real-time and - bedded systems, and security. This volume comprises four articles. The paper by Di Pierro, Hankin, and Wiklicky investigates the relation between the operational semantics of pro- bilistic programming languages and discrete-time Markov chains and presents a framework for probabilistic program analysis inspired by classical abstract interpretation. Broadbent, Fitzsimons, and Kashe? review the mathematical model underlying measurement-based quantum computation, a novel approach to quantum computation where measurement is the main driving force of c- putation instead of the unitary operations of the more traditional quantum c- cuit model. The paper by Malacaria and Heusser illustrates the informati- theoretical basis of quantitative information ?ow by showing the relationship betweenlattices,partitions,andinformation-theoreticalconcepts,aswellastheir applicabilitytoquantifyleakageofcon'dentialinformationinprograms. Finally, Wolter and Reinecke discuss the trade-o? between performance and security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics. 410 0$aLecture notes in computer science ;$v6154. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 606 $aComputer systems$vCongresses 606 $aTelecommunication systems$vCongresses 606 $aComputer software$vCongresses 615 0$aComputer systems 615 0$aTelecommunication systems 615 0$aComputer software 676 $a005.131 701 $aAldini$b Alessandro$0600344 712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484355203321 996 $aFormal methods for quantitative aspects of programming languages$94197289 997 $aUNINA