Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

ESOP '90

3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

Editors:

  1. Neil Jones
    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 432)

Sections

Buy it now

Softcover Book USD 69.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

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

Table of contents (26 papers)

  1. Front Matter

    PDF

  2. Types in lambda calculi and programming languages

    • Henk Barendregt, Kees Hemerik
    Pages 1-35

  3. Symbolic finite differencing - Part I

    • Robert Paige
    Pages 36-56

  6. From interpreting to compiling binding times

    • Charles Consel, Olivier Danvy
    Pages 88-105

  7. Implementing finite-domain constraint logic programming on top of a PROLOG-system with delay-mechanism

    • Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe
    Pages 106-117

  8. Type inference for action semantics

    • Susan Even, David A. Schmidt
    Pages 118-133

  9. On the expressive power of programming languages

    • Matthias Felleisen
    Pages 134-151

  12. Set domains

    • Reinhold Heckmann
    Pages 177-196

  13. Resolution and Type Theory

    • Leen Helmink
    Pages 197-211

  14. A syntactic theory of transparent parameterization

    • Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman
    Pages 212-226

  15. A backwards analysis for compile-time garbage collection

    • Thomas P. Jensen, Torben Æ. Mogensen
    Pages 227-239

  16. Techniques for improving grammar Flow Analysis

    • Martin Jourdan, Didier Parigot
    Pages 240-255

  18. Graph-based implementation of a functional logic language

    • Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Pages 271-290

  20. Synthesis of eureka predicates for developing logic programs

    • Maurizio Proietti, Alberto Pettorossi
    Pages 306-325
Back to top

About this book

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 69.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

Search

Navigation