Peter C. Poole

Learn More
The techniques of abstract machine modelling and macro processing can be used to construct software which is easily moved from one computer to another. This paper describes a system developed at the University of Colorado which has been implemented on 8 different machines, with efforts ranging from 1 man-day to 1 man-week. We feel that these techniques(More)
A couple of years ago I had the occasion to be involved in the certification and validation of a new operating system. For obvious reasons the manufacturer of the machine will remain anonymous. As often is the case these days, the hardware was delivered on time but the system did not appear until another 18 months had passed. Because it was quite a complex(More)
  • 1