Design and specification of PDL: the prototype dataflow language. Final report
Several converging technologies have reached the point where they can be integrated and used to develop an advanced programming environment for writing parallel programs. These technologies include advanced graphics workstations, models of computation which can be used for parallel computation, and parallel architectures. Several manufacturers are providing commercially available parallel processing computers with potential for satisfying the performance requirements of many of today's computing problems. Unfortunately, these computers usually do not have adequate, user-friendly programming environments, and the progamming primitives supported by each machine are different. Thus, there is a need for a more-general, user-friendly programming tool. This thesis is concerned with the design and formal specification of a data-flow programming language which supports the simultaneous existence of graphical and textual representations for programs. The features of the language are synthesized from existing data-flow languages. The specification combines three formal specification techniques to formally specify the textual syntax, graphical representation, and semantics of the language. The specification serves as a rigorous, unambigous description of the language.
- Research Organization:
- Army Military Personnel Center, Alexandria, VA (USA)
- OSTI ID:
- 6008003
- Report Number(s):
- AD-A-181950/7/XAB
- Country of Publication:
- United States
- Language:
- English
Similar Records
UPC Language Specifications V1.2
Theory for graph-based language specification, analysis, and mapping with application to the development of parallel software. Doctoral thesis