Title of article
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Author/Authors
Michael R. Lowry and Jeffrey Van Baalen ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
43
From page
199
To page
241
Keywords
deductive synthesis , decision procedures to accelerate reasoning , automatic decision procedureselection
Journal title
Automated Software Engineering
Serial Year
1997
Journal title
Automated Software Engineering
Record number
307012
Link To Document