ESOP '88
$67.95
91%off
$61.96
perhaps considerable
marking on inside. 100%
Money Back G... [more] Shows definite wear, and
perhaps considerable
marking on inside. 100%
Money Back Guarantee.
Shipped to over one
million happy customers.
Your purchase benefits
world literacy! [less]
Own This Book? Sell It
9783540190271
ISBN:3540190279
Pub Date: 1988Publisher: Springer Summary: The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sect [read more]
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
9783540190271
ISBN:
3540190279
Pub Date: 1988
Publisher: Springer
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.
- Track your recent orders.
- See our shipping rates & policies.
- Return an item (here's our Return Policy).

