LEADER 03991nam  2200601 a 450 
001 9910483787003321
005 20200520144314.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(EXLCZ)991000000000490888
100   $a20080214d2008      uy         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 /$fSophia Drossopoulou (ed.)
205   $a1st ed. 2008.
210   $aBerlin ;$aNew York $cSpringer$dc2008
215   $a1 online resource (XIII, 402 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v4960
225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
300   $aBibliographic Level Mode of Issuance: Monograph
311   $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.
410  0$aLecture notes in computer science ;$v4960.
410  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.
517 3 $aESOP 2008
517 3 $aETAPS 2008
606   $aComputer programming$vCongresses
606   $aProgramming languages (Electronic computers)$vCongresses
615  0$aComputer programming
615  0$aProgramming languages (Electronic computers)
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