Proceedings of the 13th European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.