LEADER 04904nam  22008055  450 
001 9910483787003321
005 20251226200309.0
010   $a3-540-78739-9
024 7 $a10.1007/978-3-540-78739-6
035   $a(CKB)1000000000490888
035   $a(SSID)ssj0000319599
035   $a(PQKBManifestationID)11222545
035   $a(PQKBTitleCode)TC0000319599
035   $a(PQKBWorkID)10338062
035   $a(PQKB)11584699
035   $a(DE-He213)978-3-540-78739-6
035   $a(MiAaPQ)EBC3068755
035   $a(PPN)125218559
035   $a(Au-PeEL)EBL3068755
035   $a(CaPaEBR)ebr10533950
035   $a(CaONFJC)MIL185649
035   $a(OCoLC)233974010
035   $a(EXLCZ)991000000000490888
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages and Systems $e17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings /$fedited by Sophia Drossopoulou
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (XIII, 402 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4960
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-540-78738-0 
320   $aIncludes bibliographical references and index.
327   $aSemantics, Parametricity, and Types -- A Sound Semantics for OCaml light  -- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! -- Regular Expression Subtyping for XML Query and Update Languages -- Semantics -- A Theory of Hygienic Macros -- A Hybrid Denotational Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool Demonstration) -- Playing with : Constraints and Domain Cooperation -- Typing Safe Deallocation -- Iterative Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming (Abstract) -- Static Analysis -- Ranking Abstractions -- Non-disjunctive Numerical Domain for Array Predicate Abstraction -- Upper Adjoints for Fast Inter-procedural Variable Equalities -- Cover Algorithms and Their Combination -- Security I -- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract) -- Linear Declassification -- Just Forget It ? The Semantics and Enforcement of Information Erasure -- Concurrency -- Open Bisimulation for the Concurrent Constraint Pi-Calculus -- The Conversation Calculus: A Model of Service-Oriented Computation -- Inferring Channel Buffer Bounds Via Linear Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach -- Program Verification -- Verification of Equivalent-Results Methods -- Semi-persistent Data Structures -- A Realizability Model for Impredicative Hoare Type Theory -- Oracle Semantics for Concurrent Separation Logic -- Security II -- Certificate Translation in Abstract Interpretation -- A Formal Implementation of Value Commitment.
330   $aThis proceedings volume of the 17th European Symposium on Programming examines fundamental issues in the specification, analysis and implementation of programming languages and systems, including static analysis, security, concurrency and program verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4960
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer science
606   $aMachine theory
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer science.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a005.1
701   $aDrossopoulou$b Sophia$0534743
712 12$aETAPS 2008$f(2008 :$eBudapest, Hungary)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483787003321
996   $aProgramming languages and systems$94195660
997   $aUNINA