Incremental execution of transformation specifications.

Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen

Browse the full POPL paper archive.