مرکز منطقه ای اطلاع رساني علوم و فناوري - Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

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 :

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 :