An algebraic approach to sharing analysis of logic programs-Reference-Cited by-同舟云学术

An algebraic approach to sharing analysis of logic programs

Published:1997 Issue: Volume: Page:68-82
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Codish Michael,Lagoon Vitaly,Bueno Francisco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0032734

Reference23 articles.

1. F. Baader and J. Siekmann. Unification theory. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, pages 41–126. Oxford Science Publications, 1994.

2. M. Codish and B. Demoen. Analysing logic programs using “prop”-ositional logic programs and a magic wand. The Journal of Logic Programming, 25(3):249–274, December 1995.

3. M. Codish, B. Demoen, and K. Sagonas. Xsb as the natural habitat for general purpose program analysis. Technical report, Ben-Gurion University of the Negev, 1997. ftp://ftp.cs.bgu.ac.il/pub/people/codish/absxsb.ps.

4. M. Codish and V. Lagoon.Type dependencies for logic programs using aciunification. In Proceedings of the 1996 Israeli Symposium on Theory of Computing and Systems, pages 136–145. IEEE Press, June 1996.

5. M. Codish, V. Lagoon, and F. Bueno. Sharing analysis for logic programs using set logic programs. In Proceedings of the 1996 Conference on Declarative Programming — APPIA-GULP-PRODE, pages 29–40, July 1996.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Negative Ternary Set-Sharing;Logic Programming;2008

2. A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties;Logic Based Program Synthesis and Transformation;2003

3. Type dependencies for logic programs using ACI-unification;Theoretical Computer Science;2000-05