Language Design and Programming Methodology

The module: A system structuring facility in high-level programming languages.- The evolution of the unix time-sharing system.- Pascal versus C : A subjective comparison.- Why recursion?.- On the prime example of programming.- Describing the complete effects of programs.- Pattern-matching commands.- A language for describing concepts as programs.- A human movement language for computer animation.- Algebraic specifications and transition graphs.- Dasim1: A practical exercise in data abstraction.- The design of a successor to pascal.- Dopls: A new type of programming language.- A personal computer based on a high-level language.- An experiment in software science.- A critique of modula.- A comparison of two notations for process communication.