A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers. A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. In Radhia Cousot, David A. Schmidt, editors, Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings. Volume 1145 of Lecture Notes in Computer Science, pages 128-142, Springer, 1996.

This author has not been identified. It may be one of the following persons:

Maurice Bruynooghe

Look up 'Maurice Bruynooghe' in GoogleThis author has not been identified. Look up 'Bart Demoen' in GoogleThis author has not been identified. Look up 'Dmitri Boulanger' in GoogleThis author has not been identified. Look up 'Marc Denecker' in GoogleThis author has not been identified. Look up 'Anne Mulkers' in Google

runs on WebDSL