Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation

• Authors:

• Vincent Englebert;Baudouin Le Charlier;Didier Roland;Pascal Van Hentenryck

• Affiliations:

• -;-;-;-

• Venue:
• PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
• Year:
• 1992