Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types

Anders Bondorf, Olivier Danvy. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Science of Computer Programming, 16(2):151-195, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.