2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
First Statement of Responsibility
H. Ganzinger, ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1988.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (vi, 379 p.) :
Other Physical Details
ill.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
300.
GENERAL NOTES
Text of Note
Held in conjunction with CAAP '88.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies and index.
CONTENTS NOTE
Text of Note
Contents: Invited Speakers -- Program Development and Verification -- Algebraic Specification and Type Concepts -- Language Concepts -- Implementation of Programming Languages -- Systems Exhibition -- Author Index.
0
SUMMARY OR ABSTRACT
Text of Note
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.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
OTHER EDITION IN ANOTHER MEDIUM
Title
ESOP '88.
TOPICAL NAME USED AS SUBJECT
Computer programming-- Congresses.
Programming languages (Electronic computers)-- Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
005
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
.
E976
1988
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Ganzinger, H., (Harald),1950-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
European Symposium on Programming(2nd :1988 :, Nancy, France)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Colloquium on Trees in Algebra and Programming(13th :1988 :, Nancy, France)., CAAP '88.