CORRECTNESS OF A COMPILER FOR ARITHMETIC EXPRESSIONS.
STANFORD UNIV CALIF DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The paper contains a proof of the correctness of a simple compiling algorithm for compiling arithmetic expressions into machine language.
- Theoretical Mathematics
- Computer Programming and Software