Rewrite Rule Machine.
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware