A Rewrite Rule Machine. Programming by Generic Example.
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
This paper presents some techniques for programming with iconic representations. These techniques promise to make programming in suitable ultra high level languages significantly easier and more intuitive. The languages that we have in mind are based on rewrite rules andor object-oriented programming, and have user-definable abstract data types. One technique uses the notion of constructorfrom the theory of algebraic specifications of abstract data types to automatically generate graphical representations for data values. Another technique permits defining rewrite rules, as well as methods in the sense of object-oriented programming, but the direct manipulation of iconic representations of genetic examples of data values. Some illustrations are given, based on the OBJ functional programming language and its extension to object-oriented programming. Author
- Computer Programming and Software