John McCarthy and James Painter  Home/Search
Context Related
| stanford.edu/jmc/mcpain.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/jmc/mcpain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper contains a proof of the correctness of a simple compiling algorithm for compiling arithmetic expressions into machine language. (Update)
Cited by: More
An Axiomatization of Arrays for Kleene Algebra with Tests - Aboul-Hosn (Correct)
Algebraic Correctness Proofs for Compiling Recursive Function .. - Indermark, Noll (2004) (Correct)
The Origins of Structural Operational Semantics - Plotkin (2003) (Correct)
Active bibliography (related documents): More All
0.0: Automated Proofs of Object Code for a Widely Used Microprocessor - Yu (1992) (Correct)
0.0: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.0: A Theorem Prover for a Computational Logic - Boyer, Moore (1990) (Correct)
Similar documents based on text: More All
0.0: Journal ofThEjflLsbkj Biology 225 (2003) 327--339.. - Kevin Painter Jonath (Correct)
0.0: A Relation-Based Description Logic - Franconi, Rabito (1994) (Correct)
0.0: A Visualisation Framework for ToolBus Applications - de Jong (1999) (Correct)
Related documents from co-citation: More All
10: Assigning meanings to programs (context) - Floyd - 1967
10: Proving properties of programs by structural induction (context) - Burstall - 1969
9: An axiomatic basis for computer programming (context) - Hoare - 1969
BibTeX entry: (Update)
McCarthy, J. and Painter, J. "Correctness of a Compiler for Arithmetic Expressions," in Proc. Symp. in Appl. Math., Vol. 19, Mathematical Aspects of Computer Science (J. T. Schwartz, ed.) Amer. Math. Soc., Providence, RI, 1967, 33--41. http://citeseer.ist.psu.edu/250173.html More
@incollection{ john67correctness,
author = "McCarthy, John and Painter, J.",
title = "Correctness of a Compiler for Arithmetic Expressions",
booktitle = "Proceedings Symposium in Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science",
publisher = "American Mathematical Society",
address = "Providence, RI",
editor = "J. T. Schwartz",
pages = "33--41",
year = "1967",
url = "citeseer.ist.psu.edu/250173.html" }
Citations (may not include all citations):16 Computer programs for checking mathematical proofs (context) - McCarthy - 1962
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC