1 code implementation • 31 Jul 2019 • David A. Holland, Jingmei Hu, Ming Kawaguchi, Eric Lu, Stephen Chong, Margo I. Seltzer
An Alewife specification can be used to verify and synthesize code for any machine described in Cassiopea, given a machine-specific translation for abstractions used in the specification.
Programming Languages
