Dissertation/Thesis
The Design and Specification of PDL: The Prototype Dataflow Language.
| Τίτλος: | The Design and Specification of PDL: The Prototype Dataflow Language. |
|---|---|
| Συγγραφείς: | Wolfe,Douglas J |
| Συνεισφορές: | ARMY MILITARY PERSONNEL CENTER ALEXANDRIA VA |
| Πηγή: | DTIC AND NTIS |
| Έτος έκδοσης: | 1987 |
| Συλλογή: | Defense Technical Information Center: DTIC Technical Reports database |
| Θεματικοί όροι: | Computer Programming and Software, COMPUTER PROGRAMMING, PARALLEL PROCESSING, PROGRAMMING LANGUAGES, GRAPHICS, COMPUTATIONS, PARALLEL ORIENTATION, PERFORMANCE(ENGINEERING), REQUIREMENTS, LANGUAGE, SEMANTICS, MODELS, COMPUTERS, SPECIFICATIONS, ENVIRONMENTS, COMPUTER GRAPHICS, PDL(Prototype Dataflow Language), Dataflow programming languages, Programming environments |
| Περιγραφή: | 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 computes 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 dataflow programming language which supports the simultaneous existence of graphical andtextual representations for programs. The features of the language are synthesized from existing dataflow languages. The specification combnes 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. ; Master's thesis. |
| Τύπος εγγράφου: | Thesis |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | English |
| Relation: | http://www.dtic.mil/docs/citations/ADA181950 |
| Διαθεσιμότητα: | http://www.dtic.mil/docs/citations/ADA181950 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA181950 |
| Rights: | APPROVED FOR PUBLIC RELEASE |
| Αριθμός Καταχώρησης: | edsbas.D99B8398 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!