Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.6, Iss.4, 1999-10, pp. : 329-356

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

By Monroy R.

Automated Software Engineering, Vol. 10, Iss. 3, 2003-07 ,pp. : 247-269

Springer Publishing Company

Access to resources Recommend Favorite

Synthesis of parallel recursive programs in structural functional models

By Novoseltsev V.

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 293-298

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

By Ireland Andrew Stark Jamie

Automated Software Engineering, Vol. 13, Iss. 1, 2006-01 ,pp. : 65-105

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Proof of Graph Nonisomorphism

By Cohen Arjeh

Mathematics in Computer Science, Vol. 2, Iss. 2, 2008-12 ,pp. : 211-229

Springer Publishing Company

Access to resources Recommend Favorite

Fusion of recursive programs with computational effects

By Pardo A.

Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. : 165-207

Elsevier

Access to resources Recommend Favorite