Book contents
- Frontmatter
- Contents
- Preface
- 1 A modern approach to computing
- 2 Specifications I
- 3 Diagrams
- 4 Specifications II
- 5 PDL
- 6 Code generation
- 7 Verification
- 8 Examination of templates and target code
- 9 Abstract data types
- 10 The mathematical basis of abstract data types
- 11 Utilisation of existing programs
- 12 A small scale study – topological sorting
- Appendices
- A Glossary of symbols
- B Syntax of standard specifications
- C The description of a PDL
- D Transformations that remove recursion
- References
- Index
B - Syntax of standard specifications
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- 1 A modern approach to computing
- 2 Specifications I
- 3 Diagrams
- 4 Specifications II
- 5 PDL
- 6 Code generation
- 7 Verification
- 8 Examination of templates and target code
- 9 Abstract data types
- 10 The mathematical basis of abstract data types
- 11 Utilisation of existing programs
- 12 A small scale study – topological sorting
- Appendices
- A Glossary of symbols
- B Syntax of standard specifications
- C The description of a PDL
- D Transformations that remove recursion
- References
- Index
Summary

- Type
- Chapter
- Information
- Program Construction , pp. 344 - 347Publisher: Cambridge University PressPrint publication year: 1987