The why and wherefore of the Cornell Program Synthesizer

This publication has 4 references indexed in Scilit:

• The Cornell program synthesizer
  Communications of the ACM, 1981
• A program development tool
  Published by Association for Computing Machinery (ACM) ,1981
• The design and implementation of a table driven, interactive diagnostic programming system
  Communications of the ACM, 1976
• User engineering principles for interactive systems
  Published by Association for Computing Machinery (ACM) ,1971