ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /

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 embodi...

Full description

Bibliographic Details
Corporate Authors: European Symposium on Programming Nancy, France, SpringerLink (Online service), Colloquium on Trees in Algebra and Programming (CAAP '88.)
Other Authors: Ganzinger, H. (Harald), 1950-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1988.
Series:Lecture notes in computer science ; 300.
Subjects:
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Invited Speakers
  • Program Development and Verification
  • Algebraic Specification and Type Concepts
  • Language Concepts
  • Implementation of Programming Languages
  • Systems Exhibition
  • Author Index.