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...
| Corporate Authors: | , , |
|---|---|
| Other Authors: | |
| 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.