04421nam 2200553 a 450 991048392900332120200520144314.03-540-71316-610.1007/978-3-540-71316-6(CKB)1000000000490890(SSID)ssj0000319598(PQKBManifestationID)11240715(PQKBTitleCode)TC0000319598(PQKBWorkID)10338124(PQKB)10194283(DE-He213)978-3-540-71316-6(MiAaPQ)EBC3068399(PPN)123726956(EXLCZ)99100000000049089020070205d2007 uy 0engurnn|008mamaatxtccrProgramming languages and systems 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /Rocco De Nicola (ed.)1st ed. 2007.Berlin ;New York Springer20071 online resource (XVIII, 542 p.) Lecture notes in computer science ;4421Bibliographic Level Mode of Issuance: Monograph3-540-71314-X Includes bibliographical references and index.Invited Talk -- Techniques for Contextual Equivalence in Higher-Order, Typed Languages -- Models and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements -- A Calculus for Orchestration of Web Services -- A Concurrent Calculus with Atomic Transactions -- Verification -- Modal I/O Automata for Interface and Product Line Theories -- Using History Invariants to Verify Observers -- Term Rewriting -- On the Implementation of Construction Functions for Non-free Concrete Data Types -- Anti-pattern Matching -- Language Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling the What and Where of Declassification in Language-Based Security -- Cost Analysis of Java Bytecode -- Logics and Correctness Proofs -- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning -- Abstract Predicates and Mutable ADTs in Hoare Type Theory -- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic -- Static Analysis and Abstract Interpretation I -- Modular Shape Analysis for Dynamically Encapsulated Programs -- Static Analysis by Policy Iteration on Relational Domains -- Computing Procedure Summaries for Interprocedural Analysis -- Small Witnesses for Abstract Interpretation-Based Proofs -- Static Analysis and Abstract Interpretation II -- Interprocedurally Analysing Linear Inequality Relations -- Precise Fixpoint Computation Through Strategy Iteration -- Semantic Theories for Object Oriented Languages -- A Complete Guide to the Future -- The Java Memory Model: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic Techniques -- Scalar Outcomes Suffice for Finitary Probabilistic Testing -- Probabilistic Anonymity Via Coalgebraic Simulations -- A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract) -- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting Semantics for Type Inference -- Principal Type Schemes for Modular Programs -- A Consistent Semantics of Self-adjusting Computation -- Multi-language Synchronization -- Types for Systems Properties -- Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts -- Type Reconstruction for General Refinement Types -- Dependent Types for Low-Level Programming.Lecture notes in computer science ;4421.Computer programmingCongressesProgramming languages (Electronic computers)CongressesComputer programmingProgramming languages (Electronic computers)005.1De Nicola Rocco104115ETAPS 2007(2007 :Braga, Portugal)MiAaPQMiAaPQMiAaPQBOOK9910483929003321Programming languages and systems4194633UNINA