Kant, Elaine <br/><br/>
Efficiency in program synthesis 

 - Michigan  Ann Arbor  1981 
 - viii, 162 p. 
<br/><br/>   
<br/><br/><label>Subjects--Index Terms: </label>Computer systems  Computer operating systems  Computer peripherals  Computer software  Computer science  Electronic data procressing  Digital systems  digital machines  Efficiency in program synthesis  programme synthesis  program synthesis