Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / edited by David Schmidt.

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29– 31, 2004. The ESOP series began in 1986 with the goal of bridging the gap between theory and practice, and the conferences continue to be devoted to...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Schmidt, David (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Edition:	1st ed. 2004.
Series:	Lecture Notes in Computer Science, 2986 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computer programming. Data structures (Computer science). Computer logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Resources, Concurrency, and Local Reasoning
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors
Strong Preservation as Completeness in Abstract Interpretation
Static Analysis of Digital Filters
Sound and Decidable Type Inference for Functional Dependencies
Call-by-Value Mixin Modules
ML-Like Inference for Classifiers
From Constraints to Finite Automata to Filtering Algorithms
A Memoizing Semantics for Functional Logic Languages
Adaptive Pattern Matching on Binary Data
Compositional Analysis of Authentication Protocols
A Distributed Abstract Machine for Boxed Ambient Calculi
A Dependently Typed Ambient Calculus
A Control Flow Analysis for Safe and Boxed Ambients
Linear Types for Packet Processing
Modal Proofs as Distributed Programs
ULM: A Core Programming Model for Global Computing
A Semantic Framework for Designer Transactions
Semantical Analysis of Specification Logic, 3
Answer Type Polymorphism in Call-by-Name Continuation Passing
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types
A Hardest Attacker for Leaking References
Trust Management in Strand Spaces: A Rely-Guarantee Method
Just Fast Keying in the Pi Calculus
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation
Functors for Proofs and Programs
Extracting a Data Flow Analyser in Constructive Logic
Canonical Graph Shapes.

Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / edited by David Schmidt.

Similar Items