The ACM Computing Classification System (1991)

I.2.2 Automatic Programming

• Automatic analysis of algorithms
• Program modification
• Program synthesis
• Program transformation
• Program verification