Skip to main content
SpringerLink
Log in

Programming Languages and Systems

7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Chris Hankin
    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 1381)

Included in the following conference series:

Conference proceedings info: ESOP 1998.

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

  1. Front Matter

    Download chapter PDF

  2. Concurrent constraint programming based on functional programming

    • Gert Smolka
    Pages 1-11

  3. A bisimulation method for cryptographic protocols

    • Martin Abadi, Andrew D. Gordon
    Pages 12-26

  4. A polyvariant binding-time analysis for off-line partial deduction

    • Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
    Pages 27-41

  5. Verifiable and executable logic specifications of concurrent objects in \(\mathcal{L}_\pi\)

    • Luís Caires, Luís Monteiro
    Pages 42-56

  6. Complexity of concrete type-inference in the presence of exceptions

    • Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
    Pages 57-74

  7. Synchronisation analysis to stop tupling

    • Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
    Pages 75-89

  8. Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems

    • Christian Fecht, Helmut Seidl
    Pages 90-104

  9. Reasoning about classes in object-oriented languages: Logical models and tools

    • Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
    Pages 105-121

  10. Language primitives and type discipline for structured communication-based programming

    • Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo
    Pages 122-138

  11. The functional imperative: Shape!

    • C. B. Jay, P. A. Steckler
    Pages 139-153

  12. Code motion and code placement: Just synonyms?

    • Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Pages 154-169

  13. Recursive object types in a logic of object-oriented programs

    • K. Rustan, M. Leino
    Pages 170-184

  14. Mode-automata: About modes and states for reactive systems

    • Florence Maraninchi, Yann Rémond
    Pages 185-199

  15. From classes to objects via subtyping

    • Didier Rémy
    Pages 200-220

  16. Building a bridge between pointer aliases and program dependences

    • John L. Ross, Mooly Sagiv
    Pages 221-235

  17. A complete declarative debugger of missing answers

    • Salvatore Ruggieri
    Pages 236-251

  18. Systematic change of data representation: Program manipulations and a case study

    • William L. Scherlis
    Pages 252-266

  19. A generic framework for specialization (abridged version)

    • Peter Thiemann
    Pages 267-281
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation