Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings / edited by Rocco De Nicola.

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
1 online resource (XVIII, 542 pages)
1st ed. 2007.
Computer Science (Springer-11645)
LNCS sublibrary. Theoretical computer science and general issues SL 1, 4421
Theoretical Computer Science and General Issues ; 4421
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Programming languages (Electronic computers).
Computer programming.
Software engineering.
Computer logic.
Data structures (Computer science).
Local subjects:
Programming Languages, Compilers, Interpreters. (search)
Programming Techniques. (search)
Software Engineering/Programming and Operating Systems. (search)
Software Engineering. (search)
Logics and Meanings of Programs. (search)
Data Structures. (search)
System Details:
text file PDF
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
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.
De Nicola, Rocco, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-540-71316-6 doi
Access Restriction:
Restricted for use by site license.