Towards a Formalism for Program Generation 1995.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 28, 1995
- Accession Number
- ADA294941
Entities
People
- Daniel E. Cooke
Organizations
- University of Texas at El Paso