Rewrite Rule Machine.
Abstract
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. We find these results very encouraging and look forward to their fruition in a prototype machine. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1986
- Accession Number
- ADA170920
Entities
People
- Claude Kirchner
- Joseph Goguen
- José Meseguer
- Sany Leinwand
- Timothy Winkler
Organizations
- SRI International