Language Design and Programming Methodology

Inhaltsverzeichnis

• 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.