3 R's of optimizing constraint logic programs: Refinement, removal and reorderingK. MarriottPeter J. Stuckey1993POPL 1993
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effectsJong-Deok ChoiM. Burkeet al.1993POPL 1993