Algorithmic Languages and Calculi

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France

  • Richard S. Bird
  • Lambert Meertens

Table of contents

  1. Front Matter
    Pages i-viii
  2. Bernhard Möller
    Pages 24-48
  3. Matteo Vaccari, Roland Backhouse
    Pages 49-75
  4. Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
    Pages 76-106
  5. E. Violard, S. Genaud, G.-R. Perrin
    Pages 107-131
  6. M. Südholt, C. Piepenbrock, K. Obermayer, P. Pepper
    Pages 132-163
  7. Yellamraju V. Srinivas
    Pages 164-186
  8. J. C. Bicarregui, K. C. Lano, T. S. E. Maibaum
    Pages 187-211
  9. Marc Frappier, Ali Mili, Jules Desharnais
    Pages 212-239
  10. J. L. Fiadeiro, A. Lopes, T. S. E. Maibaum
    Pages 240-264
  11. Klaus Achatz, Helmuth Partsch
    Pages 265-295
  12. Alberto Pettorossi, Maurizio Proietti
    Pages 296-323
  13. Yanhong A. Liu
    Pages 357-381
  14. Theodore S. Norvell
    Pages 415-440
  15. Back Matter
    Pages 441-443

About this book


The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.


language object programming semantics software

Editors and affiliations

  • Richard S. Bird
    • 1
  • Lambert Meertens
    • 2
  1. 1.Computing LaboratoryOxford UniversityOxfordUK
  2. 2.CWIAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1997
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2877-3
  • Online ISBN 978-0-387-35264-0
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment