Lecture Notes in Computer Science

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

Editors: Hankin, Chris (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69722-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-64302-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (18 chapters)

Table of contents (18 chapters)
  • Concurrent constraint programming based on functional programming

    Smolka, Gert

    Pages 1-11

  • A bisimulation method for cryptographic protocols

    Abadi, Martin (et al.)

    Pages 12-26

  • A polyvariant binding-time analysis for off-line partial deduction

    Bruynooghe, Maurice (et al.)

    Pages 27-41

  • Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$

    Caires, Luís (et al.)

    Pages 42-56

  • Complexity of concrete type-inference in the presence of exceptions

    Chatterjee, Ramkrishna (et al.)

    Pages 57-74

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69722-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-64302-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Languages and Systems
Book Subtitle
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
Editors
  • Chris Hankin
Series Title
Lecture Notes in Computer Science
Series Volume
1381
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69722-0
DOI
10.1007/BFb0053558
Softcover ISBN
978-3-540-64302-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 289
Topics