Accession Number : ADA261689

Title :   Towards a Formalism for Program Generation 1992 - Final Report

Descriptive Note : Final rept. 15 Jun 1989-29 Dec 1992

Corporate Author : TEXAS UNIV AT EL PASO

Personal Author(s) : Cooke, Daniel E

Full Text :

Report Date : Dec 1992

Pagination or Media Count : 31

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.


Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE