TY  - BOOK
AU  - Schmidt,David A.
ED  - European Symposium on Programming
ED  - ETAPS (Conference)
TI  - 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 
T2  - Lecture notes in computer science,
SN  - 3540247254
AV  - QA76.6 .E976 2004
U1  - 005.1 22
PY  - 2004///
CY  - Berlin, New York
PB  - Springer
KW  - Computer programming
KW  - Congresses
KW  - Programming languages (Electronic computers)
KW  - Langages de programmation
KW  - Congrès
KW  - Programmation (Informatique)
KW  - COMPUTERS
KW  - Programming
KW  - Open Source
KW  - bisacsh
KW  - Software Development & Engineering
KW  - Tools
KW  - General
KW  - fast
KW  - Formale Sprache
KW  - gnd
KW  - Programmiersprache
KW  - Programmierung
KW  - Langage de programmation
KW  - rasuqam
KW  - Programmation
KW  - programming systems
KW  - languages
KW  - software
KW  - ESOP
KW  - ETAPS
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
KW  - Barcelona (2004)
KW  - swd
KW  - Kongress
N1  - Includes bibliographical references and index; 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
N2  - This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems
UR  - https://link.springer.com/10.1007/b96702
ER  -