Language Design and Programming Methodology

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The module: A system structuring facility in high-level programming languages
3. Altmetric Badge
   Chapter 2 The evolution of the unix time-sharing system
4. Altmetric Badge
   Chapter 3 Pascal versus C : A subjective comparison
5. Altmetric Badge
   Chapter 4 Why recursion?
6. Altmetric Badge
   Chapter 5 On the prime example of programming
7. Altmetric Badge
   Chapter 6 Describing the complete effects of programs
8. Altmetric Badge
   Chapter 7 Pattern-matching commands
9. Altmetric Badge
   Chapter 8 Language Design and Programming Methodology
10. Altmetric Badge
    Chapter 9 A human movement language for computer animation
11. Altmetric Badge
    Chapter 10 Algebraic specifications and transition graphs
12. Altmetric Badge
    Chapter 11 Dasim1: A practical exercise in data abstraction
13. Altmetric Badge
    Chapter 12 The design of a successor to pascal
14. Altmetric Badge
    Chapter 13 Dopls: A new type of programming language
15. Altmetric Badge
    Chapter 14 A personal computer based on a high-level language
16. Altmetric Badge
    Chapter 15 An experiment in software science
17. Altmetric Badge
    Chapter 16 A critique of modula
18. Altmetric Badge
    Chapter 17 A comparison of two notations for process communication