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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/a261689.pdf


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.


Descriptors :   *SOFTWARE ENGINEERING , *PROGRAMMING LANGUAGES , *SEMANTICS , AUTOMATION , INTERFACES , EVOLUTION(GENERAL)


Subject Categories : Linguistics
      Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE