Skip to main content
  • Conference proceedings
  • © 1994

Programming Languages and Systems - ESOP '94

5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Editors:

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

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

Conference proceedings info: ESOP 1994.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48376-2
  • 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 129.00
Price excludes VAT (USA)

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

Table of contents (33 papers)

  1. Front Matter

  2. A theory of primitive objects

    • Martín Abadi, Luca Cardelli
    Pages 1-25
  3. Pi-nets: A graphical form of π-calculus

    • Robin Milner
    Pages 26-42
  4. An asynchronous process algebra with multiple clocks

    • Henrik Reif Andersen, Michael Mendler
    Pages 58-73
  5. Programming with behaviors in an ML framework — The syntax and semantics of LCS

    • Bernard Berthomieu, Thierry Le Sergent
    Pages 89-104
  6. Characterizing behavioural semantics and abstractor semantics

    • Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Pages 105-119
  7. λ-definition of function(al)s by normal forms

    • Corrado Böhm, Adolfo Piperno, Stefano Guerrini
    Pages 135-149
  8. Strategies in modular system design by interface rewriting

    • S. Cicerone, F. Parisi Presicce
    Pages 165-179
  9. A logical denotational semantics for constraint logic programming

    • Alessandra Di Pierro, Catuscia Palamidessi
    Pages 195-210
  10. Compilation of head and strong reduction

    • Pascal Fradet
    Pages 211-224
  11. Suffix trees in the functioned programming paradigm

    • Robert Giegerich, Stefan Kurtz
    Pages 225-240
  12. Type classes in Haskell

    • Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
    Pages 241-256
  13. Lazy type inference for the strictness analysis of lists

    • Chris Hankin, Daniel Le Métayer
    Pages 257-271
  14. Lazy unification with simplification

    • Michael Hanus
    Pages 272-286
  15. Polymorphic binding-time analysis

    • Fritz Henglein, Christian Mossin
    Pages 287-301

Other Volumes

  1. Programming Languages and Systems — ESOP '94

    5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

About this book

This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.

Keywords

  • algorithm
  • algorithms
  • design
  • logic
  • programming
  • programming language
  • semantics
  • verification

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-48376-2
  • 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 129.00
Price excludes VAT (USA)