Research ArticleOpen AccessGoogle Scholar indexed
Incremental Computation of Success Patterns of Logic Programs
Department of Computer Science and Engineering, Oakland University, Rochester, USA.
- 1 Department of Computer Science and Engineering, Oakland University, Rochester, USA.
Journal of Software Engineering and Applications·Volume 03 (2010)·Pages 198–207·Published 31 March 2010·DOI10.4236/jsea.2010.33025
Copy link · social · email
Abstract
A method is presented for incrementally computing success patterns of logic programs. The set of success patterns of a logic program with respect to an abstraction is formulated as the success set of an equational logic program modulo an equality theory that is induced by the abstraction. The method is exemplified via depth and stump abstractions. Also presented are algorithms for computing most general unifiers modulo equality theories induced by depth and stump abstractions.
KeywordsIncremental AnalysisSuccess PatternsAbstract InterpretationDepth AbstractStump AbstractionLogic Programs
- P. Cousot and R. Cousot, “Systematic design of program analysis frameworks,” Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, The ACM Press, New York, pp. 269–282, 1979.
- P. Cousot and R. Cousot, “Abstract interpretation and application to logic programs,” The Journal of Logic Programming, Vol. 13, No. 2–3, pp. 103–179, 1992.
- H. S?ndergaard, “An application of abstract interpretation of logic programs: Occur check problem,” In: B. Robinet and R. Wilhelm, Ed., European Symposium on Progr- amming, Lecture Notes in Computer Science, Springer, Vol. 213, pp. 324–338, 1986.
- C. Mellish, “Some global optimizations for a Prolog compiler,” Journal of Logic Programming, Vol. 2, No. 1, pp. 43–66, 1985.
- C. Mellish, “Abstract interpretation of Prolog programs,” In: S. Abramsky and C. Hankin, Ed., Abstract interp- retation of declarative languages, Ellis Horwood Ltd., pp. 181–198, 1987.
- M. Bruynooghe and G. Janssens, “An instance of abstract interpretation integrating type and mode inferencing,” Proceedings of the Fifth International Conference and Symposium on Logic Programming, The MIT Press, Seattle, pp. 669–683, 15–19 August 1988.
- D. Jacobs and A. Langen, “Static analysis of logic prog- rams for independent and parallelism,” Journal of Logic Programming, Vol. 13, No. 2–3, pp. 291–314, 1992.
- X. Li, A. King, and L. Lu, “Collapsing closures,” In: S. Etalle and M. Truszczynski, Ed., Proceedings of the Twenty Second International Conference on Logic Programming, Lecture Notes in Computer Science, Vol. 4079, pp. 148–162, 2006.
- M. Bruynooghe, G. Janssens, A. Callebaut, and B. Demoen, “Abstract interpretation: Towards the global optimisation of Prolog programs,” Proceedings of the 1987 Symposium on Logic Programming, The IEEE Computer Society Press, San Francisco, pp. 192–204, 31 August–4 September 1987.
- L. Lu, “Improving precision of type analysis using non- discriminative union,” Theory and Practice of Logic Programming, Vol. 8, pp. 33–80, 2008.
- K. Marriott, H. S?ndergaard, and N. D. Jones, “Denota- tional abstract interpretation of logic programs,” ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, pp. 607–648, 1994.
- K. Marriott and H. S?ndergaard, “Bottom-up abstract interpretation of logic programs,” Proceedings of the Fifth International Conference and Symposium on Logic Pro- gramming, The MIT Press, Seattle, pp. 733–748, 15–19 August 1988.