Rewrite Rule Machine. Progress report
Technical Report
·
OSTI ID:7249723
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.
- Research Organization:
- SRI International, Menlo Park, CA (USA)
- OSTI ID:
- 7249723
- Report Number(s):
- AD-A-170920/3/XAB
- Country of Publication:
- United States
- Language:
- English
Similar Records
Rewrite Rule Machine project. Final report
Parallel implementation of concurrent logic languages using graph-rewriting techniques
A portable run-time system for PCN
Technical Report
·
Mon May 01 00:00:00 EDT 1989
·
OSTI ID:5587597
Parallel implementation of concurrent logic languages using graph-rewriting techniques
Thesis/Dissertation
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:5533843
A portable run-time system for PCN
Technical Report
·
Mon Jul 01 00:00:00 EDT 1991
·
OSTI ID:5361680