E. W. Dijkstra. Program inversion. In Program Construction, pages 54--57, 1978. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Heuristic Approach to Program Inversion - Eppstein (1985) (3 citations) (Correct)
....been suggested for performing such inversion. Unfortunately they each su#er from several defects. McCarthy [3] suggests a generate and test approach; this will correctly find an inverse when it exists, but is computationally infeasible and cannot determine whether the inverse is unique. Dijkstra [1] provides a technique for inverting programs symbolically, but requires that the programmer provide inductive assertions on conditional and loop statements. Korf [2] suggests another method that automatically provides these assertions, but recursions derived using his method are not guaranteed to ....
Dijkstra, E. W., "Program inversion." In Program Construction. Springer-Verlag, Berlin, 1979.
There and Back Again: Arrows for Invertible Programming - Alimarine, Smetsers, van .. (2005) (Correct)
No context found.
E. W. Dijkstra. Program inversion. In Program Construction, pages 54--57, 1978.
A Program Inverter for a Functional Language with Equality and .. - Glück, Kawabe (2003) (Correct)
No context found.
E. W. Dijkstra. Program inversion. In F. L. Bauer, M. Broy (eds.), Program Construction: International Summer School, LNCS 69, 54--57. Springer-Verlag, 1978.
Combinators for Bi-Directional Tree.. - Foster.. (2004) (2 citations) (Correct)
No context found.
E. W. Dijkstra. Program inversion. In F. L. Bauer and M. Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978.
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
No context found.
E. W. Dijkstra. Program inversion. In F. L. Bauer and M. Broy, editors, Program Construction: International Summer School, LNCS 69, pages 54--57. Springer-Verlag, 1978.
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