A Rewrite Rule Machine. Programming by Generic Example.

Abstract

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 and/or object-oriented programming, and have user-definable abstract data types. One technique uses the notion of constructor(from 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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1986
Accession Number
ADA171074

Entities

People

  • Joseph A. Goguen

Organizations

  • SRI International

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Automated Speech Recognition
  • Complex Systems
  • Computer Graphics
  • Computer Programming
  • Computers
  • Debugging
  • Graphics
  • High Level Languages
  • Language
  • Military Research
  • Natural Languages
  • Object Oriented Programming
  • Personality
  • Programming Languages
  • Sequences

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Business Analytics
  • Computational Modeling and Simulation

Technology Areas

  • Biotechnology