Rocco De Nicola
Proceedings of the 16th European Symposium on Programming
ESOP, 2007.

@proceedings{ESOP-2007,
	address       = "Braga, Portugal",
	editor        = "Rocco De Nicola",
	isbn          = "978-3-540-71314-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th European Symposium on Programming}",
	volume        = 4421,
	year          = 2007,
}

Contents (35 items)

4 ×#analysis
4 ×#calculus
4 ×#java
3 ×#concurrent
2 ×#bytecode
2 ×#composition
2 ×#data type
2 ×#higher-order
2 ×#logic
2 ×#on the

ESOP-2007-Pitts #equivalence #higher-order

Techniques for Contextual Equivalence in Higher-Order, Typed Languages (AMP), p. 1.

ESOP-2007-CarboneHY #programming #web #web service

Structured Communication-Centred Programming for Web Services (MC, KH, NY), pp. 2–17.

ESOP-2007-BuscemiM #constraints #named #specification

CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements (MGB, UM), pp. 18–32.

ESOP-2007-LapadulaPT #calculus #distributed #web #web service

A Calculus for Orchestration of Web Services (AL, RP, FT), pp. 33–47.

ESOP-2007-AcciaiBD #calculus #concurrent #transaction

A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.

ESOP-2007-LarsenNW #automaton #interface #product line

Modal I/O Automata for Interface and Product Line Theories (KGL, UN, AW), pp. 64–79.

ESOP-2007-LeinoS #invariant #using #verification

Using History Invariants to Verify Observers (KRML, WS), pp. 80–94.

ESOP-2007-BlanquiHW #data type #implementation #on the

On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.

ESOP-2007-KirchnerKM #pattern matching

Anti-pattern Matching (CK, RK, PEM), pp. 110–124.

ESOP-2007-BarthePR #bytecode #java #lightweight #verification

A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.

ESOP-2007-MantelR #classification #security #what

Controlling the What and Where of Declassification in Language-Based Security (HM, AR), pp. 141–156.

ESOP-2007-AlbertAGPZ #bytecode #cost analysis #java

Cost Analysis of Java Bytecode (EA, PA, SG, GP, DZ), pp. 157–172.

ESOP-2007-FengFS #concurrent #logic #on the #reasoning

On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.

ESOP-2007-NanevskiAMB #data type #hoare #type system

Abstract Predicates and Mutable ADTs in Hoare Type Theory (AN, AA, GM, LB), pp. 189–204.

ESOP-2007-LiOS #compilation #higher-order #logic #set

Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.

ESOP-2007-RinetzkyPRSY #analysis #composition #encapsulation #source code

Modular Shape Analysis for Dynamically Encapsulated Programs (NR, APH, GR, MS, EY), pp. 220–236.

ESOP-2007-GaubertGTZ #policy #relational #static analysis

Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.

ESOP-2007-GulwaniT #analysis #interprocedural #summary

Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.

ESOP-2007-BessonJT #abstract interpretation #proving

Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.

ESOP-2007-SeidlFP #difference #linear

Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.

ESOP-2007-GawlitzaS #fixpoint #precise

Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.

ESOP-2007-BoerCJ

A Complete Guide to the Future (FSdB, DC, EBJ), pp. 316–330.

ESOP-2007-CenciarelliKS #axiom #java #memory management

The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.

ESOP-2007-HaackPSS #java

Immutable Objects for a Java-Like Language (CH, EP, JS, AS), pp. 347–362.

ESOP-2007-DengGMZ #probability #testing

Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.

ESOP-2007-HasuoK #algebra #probability #simulation

Probabilistic Anonymity Via Coalgebraic Simulations (IH, YK), pp. 379–394.

ESOP-2007-FrancalanzaH #bisimulation #fault tolerance #proving

A Fault Tolerance Bisimulation Proof for Consensus (AF, MH), pp. 395–410.

ESOP-2007-Versari #analysis #calculus #comparative

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi (CV), pp. 411–425.

ESOP-2007-KuanMF #semantics #type inference

A Rewriting Semantics for Type Inference (GK, DM, RBF), pp. 426–440.

ESOP-2007-DreyerB #composition #source code

Principal Type Schemes for Modular Programs (DD, MB), pp. 441–457.

ESOP-2007-AcarBD #consistency #self #semantics

A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.

ESOP-2007-EnnalsG #multi

Multi-language Synchronization (RE, DG), pp. 475–489.

ESOP-2007-SuenagaK #analysis #calculus #concurrent #type system

Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts (KS, NK), pp. 490–504.

ESOP-2007-KnowlesF #re-engineering #refinement

Type Reconstruction for General Refinement Types (KLK, CF), pp. 505–519.

ESOP-2007-ConditHAGN #dependent type #low level #programming

Dependent Types for Low-Level Programming (JC, MH, ZRA, DG, GCN), pp. 520–535.