IEEE Annals of the History of Computing

MCM/70, manufactured by Micro Computer Machines (MCM), was a small desktop microcomputer designed to provide the APL programming language environment for business, scientific, and educational use. MCM was among the first companies to fully recognize and act upon microprocessor technology's immense potential for developing a new generation of cost-effective computing systems. This article discusses... View full abstract»

This reminiscence recalls the environment in which LEO came to be built, the personalities involved, the major problems that were encountered, and the circumstances that led to the disappearance of the brand at the time when it was achieving its greatest successes. From first to last, LEO's active life span was only 20 years. View full abstract»

This article traces the history - up to around 1990 - of research on reasoning about programs. The main focus is on sequential imperative programs but some comments are made on concurrency. The main thesis is that the idea of reasoning about programs has been around since they were first written; the search has been to find tractable methods. View full abstract»

Like many companies entering the computer industry, Burroughs began by working on US government contracts. Once sufficient expertise had been gained, the company entered the general-purpose computer market. The Datatron computer, obtained through the ElectroData Corporation acquisition, was a modest success in the late 1950s; however, pioneering work on transistor computers for military contracts ... View full abstract»