Submitted for publication.
|
952
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
425
|
The Science of Programming
– Gries
- 1981
|
|
278
|
Guarded commands, nondeterminacy, and formal derivation of programs
– Dijkstra
- 1975
|
|
255
|
Local reversibility of computations
– Bennett
- 1973
|
|
185
|
Seminumerical Algorithms
– Knuth
- 1969
|
|
103
|
Algorithm = logic + control
– Kowalski
- 1979
|
|
54
|
Invertible cellular automata: A review
– Toffoli, Margolus
- 1990
|
|
47
|
The Foundations of Program Verification
– Loeckx, Sieber
- 1987
|
|
44
|
SICStus Prolog User's Manual
– Carlsson, Widen, et al.
- 1991
|
|
37
|
The Thermodynamics of Computation – a Review
– Bennett
- 1982
|
|
33
|
An experimental program transformation and synthesis system
– Darlington
- 1981
|
|
24
|
Foundations of Logic Programming, 2nd Ed
– Lloyd
- 1987
|
|
18
|
A formal approach to undo operations in programming languages
– Leeman
- 1986
|
|
17
|
Program inversion: more than fun
– Chen, Udding
- 1990
|
|
17
|
On the synthesis of function inverses
– Harrison, Khoshnevisan
- 1992
|
|
16
|
The Logic of Programming
– Hehner
- 1984
|
|
12
|
Program inversion
– Dijkstra
- 1979
|
|
10
|
The Inversion of Functions Defined by Turing Machines
– McCarthy
- 1956
|
|
7
|
Consequence verification of flowcharts
– Clark, Emden
- 1981
|
|
7
|
Inversion of applicative programs
– Korf
- 1981
|
|
6
|
Predicative Programming Part I
– Hehner
- 1984
|
|
5
|
And/Or programs: a new approach to structured programming
– Harel
- 1980
|
|
4
|
The partial evaluation of imperative programs using prolog
– Ross
- 1989
|
|
4
|
Invertibility of logic programs
– Sickel
- 1979
|
|
4
|
Metalogical control for logic programs
– Vasak, Potter
- 1985
|
|
3
|
Directed relations and inversion of prolog programs
– Shoham, McDermott
- 1984
|
|
2
|
Derivation of invariant assertions during program development by transformation
– Broy, Krieg-Bruckner
- 1980
|
|
2
|
Programming in Prolog (3rd ed
– Clocksin, Mellish
- 1987
|
|
1
|
The Treatment of Loops in Logic Programming
– Brough, Hogger
- 1986
|
|
1
|
The Logical Inversion of Imperative Computations
– Ross, Wilk
- 1989
|
|
1
|
Program inversion in the refinement calculus. Information Processing letters, 37:95--100
– Wright
- 1991
|
|
