Article thumbnail

Correctness of a compiler for arithmetic expressions

By John McCarthy and James Painter
Publisher: American Mathematical Society
Year: 2013
DOI identifier: 10.1090/psapm/019/0242403
OAI identifier:
Provided by: MUCC (Crossref)

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.