Table of contents

  1. Front Matter
  2. Martin Abadi, Andrew D. Gordon
    Pages 12-26
  3. Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
    Pages 27-41
  4. Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
    Pages 57-74
  5. Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
    Pages 75-89
  6. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
    Pages 105-121
  7. Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo
    Pages 122-138
  8. C. B. Jay, P. A. Steckler
    Pages 139-153
  9. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Pages 154-169
  10. Florence Maraninchi, Yann Rémond
    Pages 185-199
  11. Didier Rémy
    Pages 200-220
  12. Salvatore Ruggieri
    Pages 236-251

About these proceedings


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.


Algorithms Automat Bisimulation Constraint Exception automata complexity functional programming logic object programming programming language semantics simulation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64302-9
  • Online ISBN 978-3-540-69722-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site