Programming in the 1990s

An Introduction to the Calculation of Programs

  • Edward Cohen

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Edward Cohen
    Pages 1-7
  3. Edward Cohen
    Pages 27-43
  4. Edward Cohen
    Pages 45-59
  5. Edward Cohen
    Pages 61-79
  6. Edward Cohen
    Pages 81-100
  7. Edward Cohen
    Pages 101-108
  8. Edward Cohen
    Pages 109-121
  9. Edward Cohen
    Pages 123-126
  10. Edward Cohen
    Pages 127-148
  11. Edward Cohen
    Pages 195-220
  12. Edward Cohen
    Pages 221-247
  13. Edward Cohen
    Pages 249-260
  14. Back Matter
    Pages 261-268

About this book


Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features of some famous programming languages are given operational meaning (e.g. a loop "goes round and round"), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we've seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of "bugs". Fixing them becomes puzzle-solving, as does finding tricks that exploit or avoid poorly designed features of the programming language. The entire process is time-consuming and expensive. And even so, we are never quite sure if our programs really work in all cases. When approached in this way, programming is indeed a dull activity. There is, however, another approach to programming, an approach in which programs can be developed reliably, with attention to the real issues. It is a practical approach based on methodically developing programs from their specifications. Besides being practical, it is exciting. Many programs can be developed with relative ease. Problems which once were difficult can now be solved by beginners. Elegant solutions bring great satisfaction. This is our subject. We are interested in making programming an exciting topic!


algorithms design language programming programming language

Authors and affiliations

  • Edward Cohen
    • 1
  1. 1.Software Logic LimitedBrooklineUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York 1990
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-97382-1
  • Online ISBN 978-1-4613-9706-9
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site