Skip to main content
  • Conference proceedings
  • © 1988

ESOP '88

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

Editors:

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

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 1988.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38941-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (28 papers)

  1. Front Matter

  2. Semantics-based program integration

    • Thomas Reps, Susan Horwitz
    Pages 1-20
  3. A semantics driven temporal verification system

    • G. D. Gough, H. Barringer
    Pages 21-33
  4. Implementation of modular algebraic specifications

    • N. W. P. van Diepen
    Pages 64-78
  5. A polymorphic type system with subtypes for Prolog

    • Roland Dietrich, Frank Hagl
    Pages 79-93
  6. Type inference with subtypes

    • You-Chin Fuh, Prateek Mishra
    Pages 94-114
  7. A theory of software reusability

    • M. C. Gaudel, Th. Moineau
    Pages 115-130
  8. An exception handling construct for functional languages

    • Manfred Bretz, Jürgen Ebert
    Pages 160-174
  9. Garp: Graph abstractions for concurrent programming

    • Simon M. Kaplan, Gail E. Kaiser
    Pages 191-205
  10. Perfect pipelining: A new loop parallelization technique

    • Alexander Aiken, Alexandru Nicolau
    Pages 221-235
  11. Compilation of logic programs for restricted and-parallelism

    • Dean Jacobs, Anno Langen
    Pages 284-297

Other Volumes

  1. ESOP '88

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

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.

Keywords

  • Action
  • Algorithms
  • C programming language
  • Exception
  • Pattern Matching
  • Prolog
  • formal language
  • functional programming
  • logic
  • optimization
  • programming
  • programming language
  • selection
  • semantics
  • verification

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-38941-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)