Language Design and Programming Methodology Proceedings of a Symposium Held in Sydney, Australia, 10–11 September, 1979 / [electronic resource] :
edited by Jeffrey M. Tobias.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1980.
- XIV, 266 p. online resource.
- Lecture Notes in Computer Science, 79 0302-9743 ; .
- Lecture Notes in Computer Science, 79 .
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.
9783540385790
10.1007/3-540-09745-7 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
QA76.758
005.1
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.
9783540385790
10.1007/3-540-09745-7 doi
Computer science.
Software engineering.
Computer Science.
Software Engineering.
QA76.758
005.1