Pegasus: An efficient intermediate representation (2002)

by Mihai Budiu, Seth Copen Goldstein