Sold Out
Book Categories |
Resources, concurrency, and local reasoning | 1 | |
Relational abstract domains for the detection of floating-point run-time errors | 3 | |
Strong preservation as completeness in abstract interpretation | 18 | |
Static analysis of digital filters | 33 | |
Sound and decidable type inference for functional dependencies | 49 | |
Call-by-value mixin modules (reduction semantics, side effects, types) | 64 | |
ML-like inference for classifiers | 79 | |
From constraints to finite automata to filtering algorithms | 94 | |
A memoizing semantics for functional logic languages | 109 | |
Adaptive pattern matching on binary data | 124 | |
Compositional analysis of authentication protocols | 140 | |
A distributed abstract machine for boxed ambient calculi | 155 | |
A dependently typed ambient calculus | 171 | |
A control flow analysis for safe and boxed ambients | 188 | |
Linear types for packet processing | 204 | |
Modal proofs as distributed programs | 219 | |
ULM : a core programming model for global computing | 234 | |
A semantic framework for designer transactions | 249 | |
Semantical analysis of specification logic, 3 (an operational approach) | 264 | |
Answer type polymorphism in call-by-name continuation passing | 279 | |
System E : expansion variables for flexible typing with linear and non-linear types and intersection types | 294 | |
A hardest attacker for leaking references | 310 | |
Trust management in strand spaces : a rely-guarantee method | 325 | |
Just fast keying in the pi calculus | 340 | |
Decidable analysis of cryptographic protocols with products and modular exponentiation | 355 | |
Functors for proofs and programs | 370 | |
Extracting a data flow analyser in constructive logic | 385 | |
Canonical graph shapes | 401 | |
Author index | 417 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionProgramming 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
X
This Item is in Your InventoryProgramming 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
X
You must be logged in to review the productsX
X
X
Add 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, 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 re, 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 to the inventory that you are selling on WonderClubX
X
Add 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, 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 re, 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 to your collection on WonderClub |