Skip to main content
SpringerLink
Log in

Programming Languages and Systems - ESOP '96

6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Hanne Riis Nielson
    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 1058)

Included in the following conference series:

Conference proceedings info: ESOP 1996.

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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Some practical problems and their influence on semantics

    • Cliff B Jones
    Pages 1-17

  3. Compiling Haskell by program transformation: A report from the trenches

    • Simon L Peyton Jones
    Pages 18-44

  4. Narrowing-driven partial evaluation of functional logic programs

    • M. Alpuente, M. Falaschi, G. Vidal
    Pages 45-61

  5. A multiple-valued logical semantics for Prolog

    • Roberto Barbuti, Paolo Mancarella
    Pages 62-76

  6. Removing value encoding using alternative values in partial evaluation of strongly-typed languages

    • Denis Bechet
    Pages 77-91

  7. A complete transformational toolkit for compilers

    • J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering
    Pages 92-107

  8. Global analysis of standard Prolog programs

    • F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla
    Pages 108-124

  9. Static detection of pointer errors: An axiomatisation and a checking algorithm

    • Pascal Fradet, Ronan Gaugne, Daniel Le Métayer
    Pages 125-140

  10. Compositional optimization of disjunctive abstract interpretations

    • Roberto Giacobazzi, Francesco Ranzato
    Pages 141-155

  11. A rewriting logic for declarative programming

    • J. C. González-Moreno, M. T. Hortalá-González, F. J. López-Fraguas, M. Rodríguez-Artalejo
    Pages 156-172

  12. Durations for truly-concurrent transitions

    • Eric Goubault
    Pages 173-187

  13. Flow analysis in the Geometry of Interaction

    • Thomas P. Jensen, Ian Mackie
    Pages 188-203

  14. Parametricity and unboxing with unpointed types

    • John Launchbury, Ross Paterson
    Pages 204-218

  15. Modular denotational semantics for compiler construction

    • Sheng Liang, Paul Hudak
    Pages 219-234

  16. Compositional semantics of non-deterministic synchronous languages

    • F. Maraninchi, N. Halbwachs
    Pages 235-249

  17. Checking system properties via integer programming

    • Stephan Melzer, Javier Esparza
    Pages 250-264

  18. Efficient minimization up to location equivalence

    • Ugo Montanari, Marco Pistore, Daniel Yankelevich
    Pages 265-279

  19. A new approach to compiling adaptive programs

    • Jens Palsberg, Boaz Patt-Shamir, Karl Lieberherr
    Pages 280-295

  20. Mode and termination checking for higher-order logic programs

    • Ekkehard Rohwedder, Frank Pfenning
    Pages 296-310
Back to top

Other volumes

  1. Programming Languages and Systems — ESOP '96

Keywords

About this book

This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation