A study in automatic programming.

Authors:
Jack R. Buchanan
Affiliations:
-
Venue:
A study in automatic programming.
Year:
1974

Citing 0
Cited 3

A preliminary system for the design of DBTG data structures

Communications of the ACM
Proving structured programs correct, level by level

Proceedings of the international conference on Reliable software
The application of artificial intelligence to data base management

IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.02

Visualization

Abstract