Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| An extension of the program derivation format | 2 | 0.39 | 1998 |
| An Application of Program Derivation Techniques to 18th-Century Mathematics | 0 | 0.34 | 1998 |
| Point-free substitution | 2 | 0.46 | 1996 |
| Calculating with procedure calls | 6 | 1.10 | 1993 |
| Quasi-boolean equivalence | 1 | 0.51 | 1993 |
| Derivation of logic programs by functional methods | 0 | 0.34 | 1991 |
| Calculating with pointers | 12 | 1.57 | 1989 |
| Transformational Programming and Forests | 0 | 0.34 | 1989 |
| A sharp proof rule for procedures in wp semantics | 10 | 1.22 | 1989 |
| Equivalence of the Gries and Martin proof rules for procedure calls | 3 | 0.75 | 1986 |