+612 9045 4394
ESOP '88 : 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings - Harald Ganzinger

ESOP '88

2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

By: Harald Ganzinger (Editor)

Paperback Published: 9th March 1988
ISBN: 9783540190271
Number Of Pages: 383

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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.

Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540190271
ISBN-10: 3540190279
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 383
Published: 9th March 1988
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.06
Weight (kg): 0.55