Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

ISSN： 0928-8910

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

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

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

By Armando A.

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

Springer Publishing Company

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

Constraint Solving for Proof Planning

By Zimmer Jürgen Melis Erica

Journal of Automated Reasoning, Vol. 33, Iss. 1, 2004-07 ,pp. : 51-88

Springer Publishing Company

Access to resources Recommend Favorite

The Use of Proof Planning for Co-operative Theorem Proving

By Lowe H. Bundy A. McLean D.

Journal of Symbolic Computation, Vol. 25, Iss. 2, 1998-02 ,pp. : 239-261

Academic Press

Access to resources Recommend Favorite

Proof-term synthesis on dependent-type systems via explicit substitutions

By Munoz

Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. : 407-440

Elsevier

Access to resources Recommend Favorite