Towards a Formalism for Program Generation 1992 - Final Report
Final rept. 15 Jun 1989-29 Dec 1992
TEXAS UNIV AT EL PASO
Pagination or Media Count:
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.
- Computer Programming and Software