Investigation and Implementation of a Tree Transformation System for User Friendly Programming.

Abstract

The programming system (TTPS) described in this thesis is based on tree transformation techniques, commonly known as abstract transformation. The objects manipulated by the user through TTPS are: the templates, the transformation rules, and the programs. The templates define the syntactic and semantic language framework which will be used to parse and unparse both the rules and the program trees. The rules define the semantic behavior of the transformation process. The program represents the source tree which describes the problem to solve, and will be interpreted by a successive application of the supplied rules until they no longer apply. TTPS provides an appropriate environment for a large class of applications (e.g. system programming, coded generation, structure transformation, simulation of syntax directed editors, and other conventional applications), and supports many programming styles such as functional programming, and user different style. Originator-supplied key words included: template, concrete transformaion rule, abstract transformation rule, abstract tree, tree transformation, tree pattern matching, interpreter, synthesization, term rewriting system, application programming, functional programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1984
Accession Number
ADA152716

Entities

People

  • M. B. Chok

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Concrete
  • Construction
  • Debugging
  • Formal Languages
  • Grammars
  • Language
  • Natural Languages
  • Operating Systems
  • Programming Languages
  • Simulations
  • Software Development
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Database Systems and Applications
  • Joint Military Operations and Doctrine.