Automatic construction of algorithms and data structures using a knowledge base of programming rules.

Program Transformation Systems

ACM Computing Surveys (CSUR)

Synthesizing abstract data type specifications

ACM-SE 20 Proceedings of the 20th annual Southeast regional conference

Analyzing exotic instructions for a retargetable code generator

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction

A knowledge base organization for rules about programming

ACM SIGART Bulletin

Less than general production system architectures

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2

APE: an expert system for automatic programming from abstract specifications of data types and algorithms

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2

Automatic programming using abstract data types

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1

A knowledge-based system for automatic program construction

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1

The counterplanning process: reasoning under adversity

IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1

Recognition in a program understanding system

IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1