James H. Morris
Advertisement
Author Archives
Andrew: a distributed personal computing environment
The Information Technology Center (ITC), a collaborative effort between IBM and Carnegie-Mellon University, is in the process of creating Andrew, a prototype computing…
The experiences of Mesa's first users—primarily its implementers—are discussed, and some implications for Mesa and similar programming languages are…
A proof method, subgoal induction, is presented as an alternative or supplement to the commonly used inductive assertion method. Its major virtue is that it can often be…
A bonus from van Wijngaarden’s device
In [1] van Wijngaarden presented a rather remarkable technique for rewriting ALGOL 60 programs to eliminate all labels. The purpose of this note is to point out that the…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved