Automatically proving the correctness of translations involving optimized code - research sponsored by Advanced Research Projects Agency, ARPA order no. 2494

@inproceedings{Samet1975AutomaticallyPT,
  title={Automatically proving the correctness of translations involving optimized code - research sponsored by Advanced Research Projects Agency, ARPA order no. 2494},
  author={Hanan Samet},
  booktitle={Stanford Artificial Intelligence Laboratory: Memo AIM},
  year={1975}
}
  • Hanan Samet
  • Published 1975 in
    Stanford Artificial Intelligence Laboratory: Memo…
Definition: a means for proving for a given compiler (or any program translation procedure) for a high level language H and a low level language L that a program written in H is successfully translated to L Motivation is desire to prove that optimizations performed during the translation process are correct 1. Often, optimizations are heuristics 2. Optimizations could be performed by simply peering over the code 
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Automatically Proving the Correctness of Translations Involving Optimized Code, Ph.D

H. Samet
(Also Technical Report - CS-TR-75-498, • 1975

Similar Papers

Loading similar papers…