Sold Out
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,
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,
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,, 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,, 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 |