Title of article
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Author/Authors
Alessandro Armando، نويسنده , , Alan Smaill and Ian Green ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1999
Pages
28
From page
329
To page
356
Keywords
program synthesis , proof-planning , middle-out reasoning
Journal title
Automated Software Engineering
Serial Year
1999
Journal title
Automated Software Engineering
Record number
307054
Link To Document