Sold Out
Book Categories |
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract) | 1 | |
A Bisimulation Method for Cryptographic Protocols | 12 | |
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction | 27 | |
Verifiable and Executable Logic Specifications of Concurrent Objects in L[subscript [pi]] | 42 | |
Complexity of Concrete Type-Inference in the Presence of Exceptions | 57 | |
Synchronisation Analysis to Stop Tupling | 75 | |
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems | 90 | |
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools | 105 | |
Language Primitives and Type Discipline for Structured Communication-Based Programming | 122 | |
The Functional Imperative: Shape! | 139 | |
Code Motion and Code Placement: Just Synonyms? | 154 | |
Recursive Object Types in a Logic of Object-Oriented Programs | 170 | |
Mode-Automata: About Modes and States for Reactive Systems | 185 | |
From Classes to Objects via Subtyping | 200 | |
Building a Bridge between Pointer Aliases and Program Dependences | 221 | |
A Complete Declarative Debugger of Missing Answers | 236 | |
Systematic Change of Data Representation: Program Manipulations and a Case Study | 252 | |
A Generic Framework for Specialization (Abridged Version) | 267 | |
Author Index | 283 |
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
X
This Item is in Your InventoryProgramming Languages and Systems
X
You must be logged in to review the productsX
X
X
Add Programming Languages and Systems, , Programming Languages and Systems to the inventory that you are selling on WonderClubX
X
Add Programming Languages and Systems, , Programming Languages and Systems to your collection on WonderClub |