A language and framework for invariant-driven transformations.

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller

Browse the full GPCE paper archive.