Towards a Formalism for Program Generation 1992 - Final Report

Abstract

The following was accomplished over the period of the contract: (1) Studied the interaction between iterative and data structures; (2) Completed Denotational Semantics of BagL; (3) Initiated work on a logic semantic for BagL; (4) Initiated work on a Visual Interface for BagL; (5) Initiated work on semantic extensions to support software maintenance in BagL; (6) Initiated a revision of BagL semantics; and (7) Initiated work on a BagL interpreter. In the coming years the researchers hope to complete the BagL interpreter, the logical semantic, and establish the expressiveness of BagL. In the long term it is hoped to apply results of nonmonotonic logic research to BagL for the purpose of software evolution automation. They also hope to develop a visual interface based upon the formal language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1992
Accession Number
ADA261689

Entities

People

  • Daniel E. Cooke

Organizations

  • University of Texas at El Paso

Tags

Communities of Interest

  • Autonomy
  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Formal Languages
  • High Level Languages
  • Information Science
  • Information Systems
  • Language
  • Procedural Programming Language
  • Programming Languages
  • Schools
  • Scientific Research
  • Software Design
  • Software Development

Readers

  • Clinical Trial Research.
  • Computational Linguistics
  • Software Engineering.