Login / Signup

A language and framework for invariant-driven transformations.

Yanhong A. LiuMichael GorbovitskiScott D. Stoller
Published in: GPCE (2009)
Keyphrases