7 Citations
A Bibliography of Publications in The Computer Journal : 1958 – 1999
- Computer Science
- 2003
Adoption [?], adoption [?]. adopts [?] advanced [?, ?, ?, ], advantages [?]; adversity [?][?]. advice [?.] aeroplane]. Affine [?,?, ?].
Program improvement by internal specialization
- Computer SciencePOPL '81
- 1981
A set of four operations for transforming programs in this extended language of recursion equations to include a generalized procedure construct (the expression procedure) form the basis of a general-purpose specialization technique for recursive programs.
Program improvement by source to source transformation
- Computer SciencePOPL
- 1976
A collection of program transformations and a model of the compilation process in terms of source-to-source transformations are presented, and a description of the application of these ideas to an existing programming language is given.
Software Engineering: Process, Principles, and Goals
- Computer ScienceComputer
- 1975
This paper attempts to define the principles and goals that affect the practice of software engineering into a framework that rationalizes and encourages their proper use, while placing in perspective the diversity of techniques, methods, and tools that presently comprise the subject ofSoftware engineering.
On programming parallel computers
- Computer ScienceProgramming Languages and Compilers for Parallel and Vector Machines
- 1975
This paper examines the fundamental nature of the programming/compiling process, how this process is done now, and how it should be done in the future, and concludes that a higher level programming language is needed both to reduce programming costs and also to obtain more efficient programs.
A formal analysis of name accessing in programming languages.
- Art
- 1975
The majority of users indicate that the textual content is of greatest value, however, a somewhat higher quality reprouuciion could be obtained from "photographs" if essential to the understanding of the dissertation.