Real-Time Program Synthesis from Specifications.

Aurel Cornell John Knaack A. Nangia Teodor Rus

Published in: AMAST (1993)

Keyphrases

program synthesis
real time
recursive programs
inductive logic programming
vision system
decision trees
text mining
real time systems