مرکز منطقه ای اطلاع رساني علوم و فناوري - Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Title of article :

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Author/Authors :

Andrew Ireland and Jamie Stark ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

To page :

105

Keywords :

proof planning , partial order planning , deductive synthesis , Program synthesis

Journal title :

Automated Software Engineering

Serial Year :

2006

Journal title :

Automated Software Engineering

Record number :

307155

Link To Document :