Programming languages and systems : 17th 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 / / Sophia Drossopoulou (ed.)

• Pubblicazione: Berlin ; ; New York, : Springer, c2008
• Edizione: 1st ed. 2008.
• Descrizione fisica: 1 online resource (XIII, 402 p.)
• Disciplina: 005.1
• Soggetto topico: Computer programming; Programming languages (Electronic computers)
• Altri autori: DrossopoulouSophia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Semantics, 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.
• Altri titoli varianti: ESOP 2008; ETAPS 2008
• Titolo autorizzato: Programming languages and systems
• ISBN: 3-540-78739-9
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483787003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 4960.; LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.