Formalization of the Intelligent Program Editor.

Abstract

This report covers the work done during the second year of the Intelligent Program Editor (IPE) project. The research this past year focused on four major areas. Two of these areas were concerned with the formalization of two aspects of the IPE: the first was the study of the internal representation needs of the Extended Program Model (EPM) database and the development of a formal structure based on predicate logic; the second was on the formalization of the Program Reference Language (PRL) Picture Language to provide a direct mapping between the Picture Language and predicate logic. Another major research area was in the study of efficient retrieval of query requests from the EPM. The final area of work was in the development of an automatic parsing of Ada programs with subsequent textual and syntactic linking and display on the Symbolics LISP machine. Keywords; computer architecture; syntax; computer programming. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1985
Accession Number
ADA163180

Entities

People

  • Jeffrey S. Dean
  • Michael A. Brzustowicz
  • Susan G. Rosenbaum
  • William M. Bricken

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • C Programming Language
  • Computer Programming
  • Computer Programs
  • Computers
  • Computing System Architectures
  • Databases
  • Formal Languages
  • Grammars
  • High Level Language Architecture
  • Language
  • Lisp Programming Language
  • Multiple Access
  • Operating Systems
  • Programming Languages
  • Semantic Models
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Technical Research and Report Writing.