Contents

pp v-viii

Preface

pp ix-x

1 - A modern approach to computing

pp 1-10

2 - Specifications I

pp 11-38

3 - Diagrams

pp 39-60

4 - Specifications II

pp 61-71

5 - PDL

pp 72-87

6 - Code generation

pp 88-154

7 - Verification

pp 155-216

8 - Examination of templates and target code

pp 217-226

9 - Abstract data types

pp 227-261

10 - The mathematical basis of abstract data types

pp 262-288

11 - Utilisation of existing programs

pp 289-325

12 - A small scale study – topological sorting

pp 326-341

Appendices

A - Glossary of symbols

pp 342-343

B - Syntax of standard specifications

pp 344-347

C - The description of a PDL

pp 348-352

D - Transformations that remove recursion

pp 353-364

References

pp 365-366

Index

pp 367-372