[Lecture Notes in Computer Science] FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Volume 2245 || A Mechanically Verified Compiling Specification for a Lisp Compiler
Hariharan, Ramesh, Vinay, V., Mukund, MadhavanVolume:
10.1007/3-
Year:
2001
Language:
english
Pages:
12
DOI:
10.1007/3-540-45294-x_13
File:
PDF, 149 KB
english, 2001