Slide 1The View from 35,000 Feet Slide 2 Implications Must recognize legal (and illegal) programs Must generate correct code Must manage storage of all variables (and code)…
Slide 1 An Example of Translation and Proof using Higher-Order Abstract Syntax Michael W. Whalen Advanced Technology Center Rockwell Collins Inc. Slide 2 http://www.cs.umn.edu/crisys…