Export: Combined determination of sharing and freeness of program variables through abstract interpretation
Muthukumar, Kalyan and Hermenegildo, Manuel V. (1991). Combined determination of sharing and freeness of program variables through abstract interpretation. In: "International Conference on Logic Programming (ICLP 1991)", June 24-28, 1991, Paris, France. ISBN 0262560585.
Please select an output format:
