C.A.R. Hoare revisits his past Communications article on the axiomatic approach to programming and uses it as a touchstone for the future. This month marks the 40th anniversary of the publication of the first article I wrote as an academic. I have been invited to give my personal view of the advances that have been made in the subject since then, and the… (More)
A relatively unique emulation laboratory facility is being developed at Stanford University to support research in computer architecture and language processing. The center of this system is a "universal host" computer which is capable of emulating (or simulating) the behavior of many other computers.
2 The present report is available from: Scientific Affairs Division NATO Brussels 39 Belgium Note for the current edition: The version of this report that you are reading was prepared by scanning the original edition, conversion to text through OCR, and then reformatting. Every effort has been made to do this as accurately as possible. However, it is almost… (More)