Recursive program optimization through inductive synthesis proof transformation

A General Technique for Automatic Optimization by Proof Planning

Madden, Peter
Green, Ian

January 1995

The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...

A recursive formulation of traffic optima and equilibria

Seinberg, R.
Streufert, P.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(15/2000) / BLDSC - British ...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Recursive Program Optimization Through Inductive Synthesis Proof Transformation

Madden, Peter
Bundy, Alan
Smaill, Alan

January 1999

The research described in this paper involved developing transformation techniques which increase t...

Recursive program optimization through inductive synthesis proof transformation

Madden, P.

January 1994

The research described in this paper involved developing transformation techniques which increase th...

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--644) / BLDSC - B...

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--567) / BLDSC - B...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

Program synthesis = proof method + knowledge. Example about recursive function synthesis

Potet, Marie-Laure
Acquet, Paul
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contributions to recursion theory

Seetapun, D

January 1991

Available from British Library Document Supply Centre- DSC:D061920 / BLDSC - British Library Documen...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects

Pierre Flener
Serap Yılmaz

January 1999

The synthesis of recursive logic programs from incomplete information, such as input/output examples...

Set theory for verification II. induction for recursion

Paulson, L.C
Cambridge Univ. (United Kingdom). Computer Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--312) / BLDSC - Br...

Inductive synthesis of recursive logic programs: achievements and prospects

Flener, Pierre
Yıilmaz, Serap

December 1999

AbstractThe inductive synthesis of recursive logic programs from incomplete information, such as inp...

Formal Methods for Automated Program Improvement

Madden, Peter

January 1994

Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...

A General Technique for Automatic Optimization by Proof Planning

Madden, Peter
Green, Ian

January 1995

The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...

A recursive formulation of traffic optima and equilibria

Seinberg, R.
Streufert, P.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(15/2000) / BLDSC - British ...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Recursive Program Optimization Through Inductive Synthesis Proof Transformation

Madden, Peter
Bundy, Alan
Smaill, Alan

January 1999

The research described in this paper involved developing transformation techniques which increase t...

Recursive program optimization through inductive synthesis proof transformation

Madden, P.

January 1994

The research described in this paper involved developing transformation techniques which increase th...

General techniques for automatic program optimization and synthesis through theorem proving

Madden, P.
Bundy, A
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--644) / BLDSC - B...

Rippling A heuristic for guiding inductive proofs

Bundy, A.
Stevens, A.
Harmelen, F. van
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--567) / BLDSC - B...

Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - B...

Program synthesis = proof method + knowledge. Example about recursive function synthesis

Potet, Marie-Laure
Acquet, Paul
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1986

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contributions to recursion theory

Seetapun, D

January 1991

Available from British Library Document Supply Centre- DSC:D061920 / BLDSC - British Library Documen...

A general technique for automatically optimizing programs through the use of proof plans

Green, I.
Hesketh, J.
Hadden, P.
Edinburgh Univ. (United Kingdom). Dept. of Artificial Intelligence

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:3511.638(EU-DAI-RP--608) / BLDSC - B...

Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects

Pierre Flener
Serap Yılmaz

January 1999

The synthesis of recursive logic programs from incomplete information, such as input/output examples...

Set theory for verification II. induction for recursion

Paulson, L.C
Cambridge Univ. (United Kingdom). Computer Lab

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--312) / BLDSC - Br...

Inductive synthesis of recursive logic programs: achievements and prospects

Flener, Pierre
Yıilmaz, Serap

December 1999

AbstractThe inductive synthesis of recursive logic programs from incomplete information, such as inp...

Formal Methods for Automated Program Improvement

Madden, Peter

January 1994

Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...

A General Technique for Automatic Optimization by Proof Planning

Madden, Peter
Green, Ian

January 1995

The use of *proof plans* -- formal patterns of reasoning for theorem proving -- to control the (auto...

A recursive formulation of traffic optima and equilibria

Seinberg, R.
Streufert, P.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(15/2000) / BLDSC - British ...

Analysis and transformation of proof procedures

De Waal, D.A

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:DX184364 / BLDSC - British Library D...

Recursive program optimization through inductive synthesis proof transformation

Abstract

Extracted data

Related items

Related items