Generating Optimized Code from SCR Specifications (2006)

by T Rothamel, Y A Liu, C L Heitmeyer, E I Leonard
Venue:Proc. of the ACM SIGPLAN/SIGBED conference on Language, compilers and