Wonder Club world wonders pyramid logo
×

Programming Languages and Systems Book

Programming Languages and Systems
Programming Languages and Systems, , Programming Languages and Systems has a rating of 3.5 stars
   2 Ratings
X
Programming Languages and Systems, , Programming Languages and Systems
3.5 out of 5 stars based on 2 reviews
5
0 %
4
50 %
3
50 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Programming Languages and Systems
  • Written by author Chris Hankin
  • Published by Springer-Verlag New York, LLC, January 2008
  • This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume pr
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)1
A Bisimulation Method for Cryptographic Protocols12
A Polyvariant Binding-Time Analysis for Off-line Partial Deduction27
Verifiable and Executable Logic Specifications of Concurrent Objects in L[subscript [pi]]42
Complexity of Concrete Type-Inference in the Presence of Exceptions57
Synchronisation Analysis to Stop Tupling75
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems90
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools105
Language Primitives and Type Discipline for Structured Communication-Based Programming122
The Functional Imperative: Shape!139
Code Motion and Code Placement: Just Synonyms?154
Recursive Object Types in a Logic of Object-Oriented Programs170
Mode-Automata: About Modes and States for Reactive Systems185
From Classes to Objects via Subtyping200
Building a Bridge between Pointer Aliases and Program Dependences221
A Complete Declarative Debugger of Missing Answers236
Systematic Change of Data Representation: Program Manipulations and a Case Study252
A Generic Framework for Specialization (Abridged Version)267
Author Index283


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Programming Languages and Systems, , Programming Languages and Systems

X
WonderClub Home

This item is in your Collection

Programming Languages and Systems, , Programming Languages and Systems

Programming Languages and Systems

X
WonderClub Home

This Item is in Your Inventory

Programming Languages and Systems, , Programming Languages and Systems

Programming Languages and Systems

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: