Yes. I worked with him in the early 1990s with an attempted port of occam to the PC, focusing on the bottom-level X86 instructions. His stuff was very fast. Unfortunately we never finished the language part — a job that still remains to be done today. Larry Dickson On Mar 10, 2014, at 3:16 AM, Ian East <ian.east@xxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
|