David A. Schmidt
Proceedings of the 13th European Symposium on Programming
ESOP, 2004.

@proceedings{ESOP-2004,
	address       = "Barcelona, Spain",
	editor        = "David A. Schmidt",
	isbn          = "3-540-21313-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th European Symposium on Programming}",
	volume        = 2986,
	year          = 2004,
}

Contents (28 items)

4 ×#analysis
4 ×#semantics
3 ×#logic
2 ×#automaton
2 ×#calculus
2 ×#call-by
2 ×#composition
2 ×#decidability
2 ×#distributed
2 ×#functional

ESOP-2004-OHearn #concurrent #reasoning

Resources, Concurrency, and Local Reasoning (PWO), pp. 1–2.

ESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.

ESOP-2004-RanzatoT #abstract interpretation

Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.

ESOP-2004-Feret #static analysis

Static Analysis of Digital Filters (JF), pp. 33–48.

ESOP-2004-DuckPSS #decidability #dependence #functional #type inference

Sound and Decidable Type Inference for Functional Dependencies (GJD, SLPJ, PJS, MS), pp. 49–63.

ESOP-2004-HirschowitzLW #call-by #mixin #reduction #semantics

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types (TH, XL, JBW), pp. 64–78.

ESOP-2004-CalcagnoMT #classification

ML-Like Inference for Classifiers (CC, EM, WT), pp. 79–93.

ESOP-2004-CarlssonB #algorithm #automaton #constraints #finite

From Constraints to Finite Automata to Filtering Algorithms (MC, NB), pp. 94–108.

ESOP-2004-EspanaE #functional #logic #semantics

A Memoizing Semantics for Functional Logic Languages (SE, VE), pp. 109–123.

ESOP-2004-GustafssonS #adaptation #pattern matching

Adaptive Pattern Matching on Binary Data (PG, KFS), pp. 124–139.

ESOP-2004-BugliesiFM #analysis #authentication #composition #protocol

Compositional Analysis of Authentication Protocols (MB, RF, MM), pp. 140–154.

ESOP-2004-PhillipsYE #automaton #calculus #distributed

A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.

ESOP-2004-LhoussaineS #calculus

A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.

ESOP-2004-LeviB #analysis #control flow

A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.

ESOP-2004-EnnalsSM #linear

Linear Types for Packet Processing (RE, RS, AM), pp. 204–218.

ESOP-2004-JiaW #distributed #proving #source code

Modal Proofs as Distributed Programs (LJ, DW), pp. 219–233.

ESOP-2004-Boudol #named #programming

ULM: A Core Programming Model for Global Computing: (GB), pp. 234–248.

ESOP-2004-VitekJWH #design #framework #semantics #transaction

A Semantic Framework for Designer Transactions (JV, SJ, AW, ALH), pp. 249–263.

ESOP-2004-Ghica #analysis #approach #logic #semantics #specification

Semantical Analysis of Specification Logic, 3: An Operational Approach (DRG), pp. 264–278.

ESOP-2004-Thielecke #call-by #continuation #morphism #polymorphism

Answer Type Polymorphism in Call-by-Name Continuation Passing (HT), pp. 279–293.

ESOP-2004-CarlierPWK #flexibility #linear #type system

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.

ESOP-2004-Hansen

A Hardest Attacker for Leaking References (RRH), pp. 310–324.

ESOP-2004-GuttmanTCHRS #trust

Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.

ESOP-2004-AbadiBF #performance #π-calculus

Just Fast Keying in the π Calculus (MA, BB, CF), pp. 340–354.

ESOP-2004-Shmatikov #analysis #composition #decidability #encryption #protocol

Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation (VS), pp. 355–369.

ESOP-2004-FilliatreL #proving #source code

Functors for Proofs and Programs (JCF, PL), pp. 370–384.

ESOP-2004-CacheraJPR #data flow #logic

Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.

ESOP-2004-Rensink #canonical #graph

Canonical Graph Shapes (AR), pp. 401–415.