Skip to main content
SpringerLink
Log in
Book cover

ESOP '90

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

  • Conference proceedings
  • © 1990

Overview

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)

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 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

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Algebraic properties of program integration

    • Thomas Reps
    Pages 326-340

  2. Arity raiser and its use in program specialization

    • Sergei A. Romanenko
    Pages 341-360

  3. Complexity analysis for a lazy higher-order language

    • David Sands
    Pages 361-376

  4. On the weak adequacy of branching-time temporal logic

    • Ph. Schoebelen, S. Pinchinat
    Pages 377-388

  5. The value flow graph: A program representation for optimal program transformations

    • Bernhard Steffen, Jens Knoop, Oliver Rüthing
    Pages 389-405

  6. Type inference and implicit scaling

    • Satish Thatte
    Pages 406-420

  7. Towards the theory of programming in constructive logic

    • A. A. Voronkov
    Pages 421-435

  8. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation