Talk:Compiler correctness

Some resources: pgr94 (talk) 21:55, 25 March 2009 (UTC)
 * Compiler verification: a bibliography
 * Social processes and proofs of theorems and programs
 * MILNER, R., AND WEYRAUCH, R. Proving compiler correctness in a mechanized logic. In Machine Intelligence 7, B. Meltzer and D. Michie, Eds, American Elsevier, New York, 1972, 51-70.
 * MORRIS, F.L. Correctness of programming languages--An algebraic approach. STAN-CS-72- 303, Stanford Computer Science Dept., Aug. 1972.
 * THATCHER, J., ET AL. More on advice on structuring compilers and proving them correct. Theor. Comput. Sci. 15 (Sept. 1981), 223-249.