Conference paper
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005
Paper
On loops, dominators, and dominance frontier
Abstract
No abstract available.
Related
G. Ramalingam, Thomas Reps
Theoretical Computer Science
N. Rinetzky, G. Ramalingam, et al.
ACM TOPLAS
G. Ramalingam
ACM TOPLAS