Ramalingam, G.

• Bounded incremental computation
• Computer Science Department
• Framework for Efficient Modular Heap Analysis
• Man̲aiviyai purintukoḷḷuṅkaḷ
• Programming Languages and Systems