Machine code programs are predicates too (1994)
by
Theodore S. Norvell
| Venue: | Sixth Refinement Workshop |
| Citations: | 12 - 2 self |
BibTeX
@INPROCEEDINGS{Norvell94machinecode,
author = {Theodore S. Norvell},
title = {Machine code programs are predicates too},
booktitle = {Sixth Refinement Workshop},
year = {1994},
pages = {188--204},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
I present aninterpretation of machine language programs as boolean expressions. Source language programs may also be so interpreted. The correctness of a code generator can then be expressed as a simple relationship between boolean expressions. Code generators can then be calculated from their speci cation. 1
