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, Raghavan Komondoor, et al.
ICSE 2006
Eran Yahav, G. Ramalingam
PLDI 2004
G. Ramalingam
Theoretical Computer Science