Semantics-based program analysis for logic-based languages using XSB
作者： Michael Codish , Bart Demoen , Konstantinos Sagonas
关键词:
摘要:
springer.com
core.ac.uk
sci-hub.se 参考文章(35)
Juliana Freire, David Scott Warren, Terrance Swift, Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. Journal of Functional and Logic Programming. ,vol. 1998, ,(1998)
Gerda Janssens, Veroniek Dumortier, Maurice Bruynooghe, A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. international conference on lightning protection. pp. 336- 350 ,(1995)
Peter A. Bigot, Saumya K. Debray, Kim Marriott, Understanding Finiteness Analysis Using Abstract Interpretation. JICSLP. pp. 735- 749 ,(1992)
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
Konstantinos F. Sagonas, Gerda Janssens, On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems. Proceedings of the First Workshop on Tabulation in Parsing and Deduction. pp. 118- 126 ,(1998)
Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers, A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation static analysis symposium. ,vol. 1445, pp. 128- 142 ,(1996) , 10.1007/3-540-61739-6_38
Michael Codish, Vitaly Lagoon, Francisco Bueno, An Algebraic Approach to Sharing Analysis of Logic Programs static analysis symposium. pp. 68- 82 ,(1997) , 10.1007/BFB0032734
Pascal Hentenryck, Olivier Degimbe, Baudouin Charlier, Laurent Michel, The Impact of Granularity in Abstract Interpretation of Prolog WSA '93 Proceedings of the Third International Workshop on Static Analysis. pp. 1- 14 ,(1993) , 10.1007/3-540-57264-3_25
Michael Codish, Bart Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop static analysis symposium. pp. 281- 296 ,(1994) , 10.1007/3-540-58485-4_47
Roberto Bagnara, A Reactive Implementation of Pos Using ROBDDs international symposium on programming language implementation and logic programming. pp. 107- 121 ,(1996) , 10.1007/3-540-61756-6_80