Ebook: Language Design and Programming Methodology: Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979

---

Content:
Front Matter....Pages -
The module: A system structuring facility in high-level programming languages....Pages 1-24
The evolution of the unix time-sharing system....Pages 25-35
Pascal versus C : A subjective comparison....Pages 37-69
Why recursion?....Pages 71-83
On the prime example of programming....Pages 85-94
Describing the complete effects of programs....Pages 95-104
Pattern-matching commands....Pages 105-110
A language for describing concepts as programs....Pages 111-116
A human movement language for computer animation....Pages 117-128
Algebraic specifications and transition graphs....Pages 129-141
Dasim1: A practical exercise in data abstraction....Pages 143-150
The design of a successor to pascal....Pages 151-167
Dopls: A new type of programming language....Pages 169-189
A personal computer based on a high-level language....Pages 191-193
An experiment in software science....Pages 195-215
A critique of modula....Pages 217-224
A comparison of two notations for process communication....Pages 225-254
Back Matter....Pages -

---

Content:
Front Matter....Pages -
The module: A system structuring facility in high-level programming languages....Pages 1-24
The evolution of the unix time-sharing system....Pages 25-35
Pascal versus C : A subjective comparison....Pages 37-69
Why recursion?....Pages 71-83
On the prime example of programming....Pages 85-94
Describing the complete effects of programs....Pages 95-104
Pattern-matching commands....Pages 105-110
A language for describing concepts as programs....Pages 111-116
A human movement language for computer animation....Pages 117-128
Algebraic specifications and transition graphs....Pages 129-141
Dasim1: A practical exercise in data abstraction....Pages 143-150
The design of a successor to pascal....Pages 151-167
Dopls: A new type of programming language....Pages 169-189
A personal computer based on a high-level language....Pages 191-193
An experiment in software science....Pages 195-215
A critique of modula....Pages 217-224
A comparison of two notations for process communication....Pages 225-254
Back Matter....Pages -
....