Efficient demand-driven evaluation - Pingali, Keshav; Arvind, ..