Rewrite Rule Machine. Progress report
Goguen, Kirchner, Leinwand, Meseguer, Winkler · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1986
Perhaps the most-significant accomplishment of the Rewrite Rule Machine (RRM) project so far has been to explore the hardware and software implications of a novel model of computation, concurrent tree rewriting. This model serves as a bridge between easily programmed Ultra High Level Languages (UHLLs), featuring implicit concurrency, and advanced architectural designs having unprecedented performance (thousands of MIPS). Additional accomplishments include: (1) construction of a (high level) instrumented simulator for a declarative UHLL (called OBJ) running on the RRM; (2) demonstration that OBJ can be used effectively to program the RRM; (3) demonstration that large amounts of concurrency are available in typical OBJ programs; (4) design of even more powerful UHLLs for the RRM that combine object-oriented, functional, and logic programming; (5) exploration of more-detailed computational models and hardware designs for the RRM; and (6) progress toward a powerful graphical notation for UHLL programming. The authors find these results very encouraging and look forward to their fruition in a prototype machine.