Accession Number : ADA294941

Title :   Towards a Formalism for Program Generation 1995.

Descriptive Note : Final rept. 1 Feb 93-28 Feb 95,

Corporate Author : TEXAS UNIV AT EL PASO

Personal Author(s) : Cooke, Daniel E.

PDF Url : ADA294941

Report Date : 28 FEB 1995

Pagination or Media Count : 32

Abstract : BagL is a formal, general purpose language which provides for database, event-driven, and scientific computing in a uniform level of representation. In BagL a problem solver is not required to provide the algorithmic detail in a problem solution. Instead the problem solver describes the solution directly by specifying, via a meta-structure, the data structures which will hold results useful in solving the problem. A meta-structure is a very general abstraction configurable into any imaginable data structure, where a data structure is viewed as a database; a CRT screen or report layout; or a classical data structure such as a stack, a queue, ect. BagL provides a platform to specify the contents and the form of a data structure. BagL is an improvement over current programming paradigms in that it provides for a natural platform to exploit data flow parallelisms and because it eliminates much of the technical complexity of problem solving including: decisions about data structures; decisions about how control structures are to interact with data structures; decisions about how one converts an external structure to an internal structure and vice versa; input-output decisions, in general; decisions about a parallelisms; decisions about control structures in general.

Descriptors :   *PROGRAMMING LANGUAGES, DATA BASES, CONTROL, COMPUTATIONS, MODELS, COMPUTER PROGRAMMING, SEMANTICS, STRUCTURES, REPORTS, PROTOTYPES, PROBLEM SOLVING, SOLUTIONS(GENERAL), PLATFORMS, INTERNAL, LANGUAGE, EXTERNAL, SYNTAX, CATHODE RAY TUBE SCREENS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE