Table of contents

  1. Front Matter
  2. Bernhard Möller, Helmut A. Partsch, Stephen A. Schuman
    Pages 1-6
  3. Roland Backhouse, Paul Hoogendijk
    Pages 7-42
  4. Richard Bird, Oege de Moor
    Pages 43-61
  5. Martin S. Feather
    Pages 89-122
  6. Bernhard Möller
    Pages 123-160
  7. Peter Pepper
    Pages 225-262
  8. Alberto Pettorossi, Maurizio Proietti
    Pages 263-304
  9. Michel Sintzoff
    Pages 305-323
  10. Douglas R. Smith
    Pages 324-354
  11. Doaitse Swierstra, Oege de Moor
    Pages 355-371
  12. Back Matter

About this book


This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro, Brazil. The book stems from work done by IFIP Working Group 2.1 on Algorithmic Languages and Calculi. Since 1975, the Working Group has increasingly focused on systematic approaches to programming and on appropriate concepts and notations to support such approaches. Today, the calculation of programs from specifications constitutes the central theme ofthe group's work. Thus the core interests of the group are: - formal specification of solutions to problems, and - formal development/calculationof programs from such specifications.


Formal Methods Formal Program Development Formal Specification Formale Methoden Formale Programmentwicklung Formale Spezifikation Program Transformation Support Systems Unterstützende Systeme algorithm algorithms programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57499-6
  • Online ISBN 978-3-540-48197-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book