Saumya_K.__Debray
Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-level Prolog Primitives
Efficient dataflow analysis of logic programs
Generalized Horn Clause Programs
Interprocedural Control Flow Analysis of First Order Programs with Tail Call Optimization
On copy avoidance in single assignment languages
Profiling prolog programs
QD-Janus: A Sequential Implementation of Janus in Prolog
Static Inference of Modes and Data Dependencies in Logic Programs
Unfold/Fold Transformations and Loop Optimization of Logic Programs