Executable instruction set specification
@article{Cragon1983ExecutableIS,
title={Executable instruction set specification},
author={H. Cragon},
journal={ACM Sigarch Computer Architecture News},
year={1983},
volume={11},
pages={25-43}
}Various symbolic languages such as RTN (Register Transfer Notation) have been created to describe computer i ns t ruc t ion sets. In general, these languages have served two of the three purposes described by Wulf [Wulf gO]. These languages serve as design tools and as vehicles for human communication. However, these languages are not executable, the t h i r d purpose. When execution is desired, an ad-hoc i n t e rp re te r is created [Ofek 76, Barbacci g l ] .
Topics from this paper
4 Citations