A predicative theory of machine languages and its application to compiler correctness.
Published: 1994
Language: eng
Number of pages: 159