Freeness Analysis through Linear Refinement

Patricia M. Hill, Fausto Spoto. Freeness Analysis through Linear Refinement. In Maria Chiara Meo, Manuel Vilares Ferro, editors, 1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999. pages 321-337, 1999.

Authors

Patricia M. Hill

This author has not been identified. Look up 'Patricia M. Hill' in Google

Fausto Spoto

This author has not been identified. Look up 'Fausto Spoto' in Google