Robert A. Paige

No bio available. Add one in Open Library.

Books by Robert A. Paige (50 max)

+ shelf+ list

Formal differentiation: a program synthesis technique

1981

Robert A. Paige

+ shelf+ list

Parallel algorithm derivation and program transformation

1993

Robert A. Paige, J. H. Reif