Generating optimized code from SCR specifications (2006)

by Tom Rothamel, Yanhong A Liu, Constance L Heitmeyer, Elizabeth I Leonard
Venue:In LCTES ’06: Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on language, compilers, and