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
Conference paper
On loops, dominators, and dominance frontier
G. Ramalingam
PLDI 2000
Conference paper
Identifying Procedural Structure in Cobol Programs
John Field, G. Ramalingam
PASTE 1999
G. Ramalingam, Alex Warshavsky, et al.
PLDI 2002