DAC '73 Proceedings of the 10th Design Automation Workshop
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Speeding up the Synthesis of Programs from Traces
IEEE Transactions on Computers
Hi-index | 0.00 |
The revival of interest in Automatic Programming is considered. The research is divided into direct efforts and theoretical developments and the successes and prospects of each are described.