+612 9045 4394
 
CHECKOUT
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 :  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 - David Schmidt

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

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

By: David Schmidt (Editor)

Paperback Published: April 2004
ISBN: 9783540213130
Number Of Pages: 420

Share This Book:

Paperback

$158.39
or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

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.

Resources, concurrency, and local reasoningp. 1
Relational abstract domains for the detection of floating-point run-time errorsp. 3
Strong preservation as completeness in abstract interpretationp. 18
Static analysis of digital filtersp. 33
Sound and decidable type inference for functional dependenciesp. 49
Call-by-value mixin modules (reduction semantics, side effects, types)p. 64
ML-like inference for classifiersp. 79
From constraints to finite automata to filtering algorithmsp. 94
A memoizing semantics for functional logic languagesp. 109
Adaptive pattern matching on binary datap. 124
Compositional analysis of authentication protocolsp. 140
A distributed abstract machine for boxed ambient calculip. 155
A dependently typed ambient calculusp. 171
A control flow analysis for safe and boxed ambientsp. 188
Linear types for packet processingp. 204
Modal proofs as distributed programsp. 219
ULM : a core programming model for global computingp. 234
A semantic framework for designer transactionsp. 249
Semantical analysis of specification logic, 3 (an operational approach)p. 264
Answer type polymorphism in call-by-name continuation passingp. 279
System E : expansion variables for flexible typing with linear and non-linear types and intersection typesp. 294
A hardest attacker for leaking referencesp. 310
Trust management in strand spaces : a rely-guarantee methodp. 325
Just fast keying in the pi calculusp. 340
Decidable analysis of cryptographic protocols with products and modular exponentiationp. 355
Functors for proofs and programsp. 370
Extracting a data flow analyser in constructive logicp. 385
Canonical graph shapesp. 401
Author indexp. 417
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540213130
ISBN-10: 3540213139
Series: Lecture Notes in Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 420
Published: April 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.24
Weight (kg): 0.65