A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An improved program-synthesizing algorithm and its correctness
Communications of the ACM
Toward automatic program synthesis
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
LISP 1.5 Programmer's Manual
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Structured programming
Communications of the ACM
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Speeding up the Synthesis of Programs from Traces
IEEE Transactions on Computers
| Hi-index | 0.02 |
When a computer is used to synthesize a program, there is usually too much information for it to handle. In this paper, we propose the use of stepwise refinement technique, based upon the concept of structured programming, to overcome this difficulty.