Accession Number:

ADA170920

Title:

Rewrite Rule Machine.

Descriptive Note:

Progress rept.,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Report Date:

1986-07-01

Pagination or Media Count:

16.0

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

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE