The Synthesis of Algorithmic Systems
Journal of the ACM (JACM)
The Generation of Optimal Code for Arithmetic Expressions
Journal of the ACM (JACM)
Requirements for advanced programming systems for list processing
Communications of the ACM
A proposal for definitions in ALGOL
Communications of the ACM
Transformations on straight line programs - (Preliminary Version)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Calculating properties of programs by valuations on specific models
Proceedings of ACM conference on Proving assertions about programs
ALGOL W reference manual
A program verifier
On the basis for ELF: an extensible language facility
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
| Hi-index | 0.00 |
As advanced computer applications become more complex, the need for good programming tools becomes more acute. The most difficult programming projects require the best tools. It is our contention that an effective tool for programming should have the following characteristics: (1) Be a complete programming system---a language, plus a comfortable environment for the programmer (including an editor, documentation aids, and the like). (2) Be extensible, in its data, operations, control, and interfaces with the programmer. (3) Include an interpreter for debugging and several compilers for various levels of compilation---all fully compatible and freely mixable during execution. (4) Include a program verifier that validates stated input/output relations or finds counter-examples (5) Include facilities for program optimization and tuning---aids for program measurement and a subsystem for automatic high-level optimization by means of source program transformation.