Advertisement

On a Method of Multiprogramming

  • W. H. J. Feijen
  • A. J. M. van Gasteren

Part of the Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages i-xx
  2. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 1-5
  3. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 7-22
  4. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 23-33
  5. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 35-39
  6. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 41-53
  7. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 55-60
  8. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 61-74
  9. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 75-88
  10. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 89-96
  11. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 97-110
  12. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 111-121
  13. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 123-151
  14. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 153-161
  15. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 163-169
  16. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 171-176
  17. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 177-186
  18. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 187-199
  19. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 201-206
  20. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 207-217
  21. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 219-228
  22. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 229-236
  23. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 237-241
  24. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 243-255
  25. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 257-263
  26. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 265-279
  27. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 281-286
  28. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 287-297
  29. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 299-311
  30. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 313-332
  31. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 333-345
  32. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 347-355
  33. W. H. J. Feijen, A. J. M. van Gasteren
    Pages 357-360
  34. Back Matter
    Pages 361-370

About this book

Introduction

Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book.

Keywords

Annotation algorithm algorithms complexity design development parallelism programming semantics

Authors and affiliations

  • W. H. J. Feijen
    • 1
  • A. J. M. van Gasteren
    • 1
  1. 1.Department of Computing ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4757-3126-2
  • Copyright Information Springer-Verlag New York 1999
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4419-3179-5
  • Online ISBN 978-1-4757-3126-2
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site