: P.Madden. The application of Analogy to Program Optimization. Discussion paper 54, DAI, November 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Specialization and Transformation of Constructive.. - Peter Madden Department (1989) (2 citations) Self-citation (Madden) (Correct)
No context found.
: P.Madden. The application of Analogy to Program Optimization. Discussion paper 54, DAI, November 1986.
A summary for the application to the 1988 Alvey - Conference Peter Madden Self-citation (Madden) (Correct)
....proof plan, the source, in order to map a proof plan, the target, which guides the construction of a new proof yielding a new program. Indeed, the optimization of several sorting algorithms is a sub domain of this wider application of transformative analogy (cf. Carbonell [1983, 1985] and Madden [1987]) ....
: P. Madden. The Application of Analogy to Program Optimization. Discussion paper 51, DAI, September 1987.
The Specialization of Constructive Existence Proofs - Peter Madden October (1988) Self-citation (Madden) (Correct)
No context found.
: P.Madden. The application of Analogy to Program Optimization. Discussion paper 54, DAI, November 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC