IMPLEMENTING SPECIFICATION FREEDOMS**This research was supported by Defense Advanced Research Projects Agency contract DAHC15 72 C0308. Views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official opinion or policy of DARPA, the U.S. Government, or any other person or agency connected with them.

This publication has 18 references indexed in Scilit:

• An experimental program transformation and synthesis system
  Artificial Intelligence, 1981
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• A truth maintenance system
  Artificial Intelligence, 1979
• Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
  ACM Transactions on Programming Languages and Systems, 1979
• Towards a wide spectrum language to support program specification and program development
  ACM SIGPLAN Notices, 1978
• Informality in Program Specifications
  IEEE Transactions on Software Engineering, 1978
• A synthesis of several sorting algorithms
  Acta Informatica, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• A system which automatically improves programs
  Acta Informatica, 1976
• New Programming Languages for Artificial Intelligence Research
  ACM Computing Surveys, 1974