An Algebraic Approach to Sharing Analysis of Logic Programs

Michael Codish, Vitaly Lagoon, Francisco Bueno. An Algebraic Approach to Sharing Analysis of Logic Programs. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 68-82, Springer, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.