The ACM Computing Classification System (1991)
I.2.2 Automatic Programming
Automatic analysis of algorithms
Program modification
Program synthesis
Program transformation
Program verification
Return to:
I.2 ARTIFICIAL INTELLIGENCE
I. Computing Methodologies
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System