3 R's of optimizing constraint logic programs: Refinement, removal and reordering
- K. Marriott
- Peter J. Stuckey
- 1993
- POPL 1993
Publications
Date
Featured collections
Popular topics
2 results at POPL 1993
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
- Jong-Deok Choi
- M. Burke
- et al.
- 1993
- POPL 1993