Hardware and Software: The Closing Gap

C. A. R. Hoare, Innes Page. Hardware and Software: The Closing Gap. In Jürg Gutknecht, editor, Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings. Volume 782 of Lecture Notes in Computer Science, pages 49-68, Springer, 1994.

@inproceedings{HoareP94,
  title = {Hardware and Software: The Closing Gap},
  author = {C. A. R. Hoare and Innes Page},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/HoareP94},
  cites = {0},
  citedby = {0},
  pages = {49-68},
  booktitle = {Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings},
  editor = {Jürg Gutknecht},
  volume = {782},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57840-4},
}