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 / / edited by Sophia Drossopoulou
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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 / / edited by Sophia Drossopoulou
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Edizione: | 1st ed. 2008. |
| Descrizione fisica: | 1 online resource (XIII, 402 p.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Compilers (Computer programs) | |
| Computer programming | |
| Computer science | |
| Machine theory | |
| Software Engineering | |
| Compilers and Interpreters | |
| Programming Techniques | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Persona (resp. second.): | 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. |
| 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 |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4960