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
Keywords :
deductive synthesis , decision procedures to accelerate reasoning , automatic decision procedureselection
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
