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.

Abstract

Abstract is missing.