Continuation passing transformation and abstract interpretation (1993)

by J A Muylaert-Filho, G L Burn
Venue:Theory and Formal Methods 1993: Proceedings 1st Imperial College Department of Computing Workshop on Theory and Formal Methods. Workshops in Computing Series