A Functional Specification Language for Instruction Set Architectures

Todd A. Cook, Edwin A. Harcourt. A Functional Specification Language for Instruction Set Architectures. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 11-19, IEEE Computer Society, 1994.

@inproceedings{CookH94,
  title = {A Functional Specification Language for Instruction Set Architectures},
  author = {Todd A. Cook and Edwin A. Harcourt},
  year = {1994},
  tags = {architecture},
  researchr = {https://researchr.org/publication/CookH94},
  cites = {0},
  citedby = {0},
  pages = {11-19},
  booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
  editor = {Henri E. Bal},
  publisher = {IEEE Computer Society},
}