Skip to main content
SpringerLink
Log in

ESOP '88

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

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. H. Ganzinger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 300)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Implementation of lazy pattern matching algorithms

    • Alain Laville
    Pages 298-316

  2. Enhancing Prolog to support Prolog programming environments

    • A. Martelli, G. F. Rossi
    Pages 317-327

  3. 2-Level λ-lifting

    • Flemming Nielson, Hanne R. Nielson
    Pages 328-343

  4. Deforestation: Transforming programs to eliminate trees

    • Philip Wadler
    Pages 344-358

  5. On implementing logic programming languages on a dataflow architecture

    • Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Hondt, K. U. Leuven
    Pages 359-372

  6. The PSG system: From formal language definitions to interactive programming environments

    • Rolf Bahlke, Gregor Snelting
    Pages 373-375

  7. LPG: A generic, logic and functional programming language

    • D. Bert, P. Drabik, R. Echahed, O. Declerfayt, B. Demeuse, P -Y. Schobbens et al.
    Pages 376-377

  8. CEC: A system for the completion of conditional equational specifications

    • Hubert Bertling, Harald Ganzinger, Renate Schäfers
    Pages 378-379

  9. A functional language for the specification of complex tree transformations

    • Reinhold Heckmann
    Pages 380-380

  10. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation