Dissertation/Thesis
The Design and Specification of PDL: The Prototype Dataflow Language.
| Title: | The Design and Specification of PDL: The Prototype Dataflow Language. |
|---|---|
| Authors: | Wolfe,Douglas J |
| Contributors: | ARMY MILITARY PERSONNEL CENTER ALEXANDRIA VA |
| Source: | DTIC AND NTIS |
| Publication Year: | 1987 |
| Collection: | Defense Technical Information Center: DTIC Technical Reports database |
| Subject Terms: | 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 |
| Description: | 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. |
| Document Type: | Thesis |
| File Description: | text/html |
| Language: | English |
| Relation: | http://www.dtic.mil/docs/citations/ADA181950 |
| Availability: | http://www.dtic.mil/docs/citations/ADA181950 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA181950 |
| Rights: | APPROVED FOR PUBLIC RELEASE |
| Accession Number: | edsbas.D99B8398 |
| Database: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: http://www.dtic.mil/docs/citations/ADA181950# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.D99B8398 RelevancyScore: 605 AccessLevel: 3 PubType: Dissertation/Thesis PubTypeId: unknown PreciseRelevancyScore: 605.149597167969 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: The Design and Specification of PDL: The Prototype Dataflow Language. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Wolfe%2CDouglas+J%22">Wolfe,Douglas J</searchLink> – Name: Author Label: Contributors Group: Au Data: ARMY MILITARY PERSONNEL CENTER ALEXANDRIA VA – Name: TitleSource Label: Source Group: Src Data: DTIC AND NTIS – Name: DatePubCY Label: Publication Year Group: Date Data: 1987 – Name: Subset Label: Collection Group: HoldingsInfo Data: Defense Technical Information Center: DTIC Technical Reports database – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Computer+Programming+and+Software%22">Computer Programming and Software</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTER+PROGRAMMING%22">COMPUTER PROGRAMMING</searchLink><br /><searchLink fieldCode="DE" term="%22PARALLEL+PROCESSING%22">PARALLEL PROCESSING</searchLink><br /><searchLink fieldCode="DE" term="%22PROGRAMMING+LANGUAGES%22">PROGRAMMING LANGUAGES</searchLink><br /><searchLink fieldCode="DE" term="%22GRAPHICS%22">GRAPHICS</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTATIONS%22">COMPUTATIONS</searchLink><br /><searchLink fieldCode="DE" term="%22PARALLEL+ORIENTATION%22">PARALLEL ORIENTATION</searchLink><br /><searchLink fieldCode="DE" term="%22PERFORMANCE%28ENGINEERING%29%22">PERFORMANCE(ENGINEERING)</searchLink><br /><searchLink fieldCode="DE" term="%22REQUIREMENTS%22">REQUIREMENTS</searchLink><br /><searchLink fieldCode="DE" term="%22LANGUAGE%22">LANGUAGE</searchLink><br /><searchLink fieldCode="DE" term="%22SEMANTICS%22">SEMANTICS</searchLink><br /><searchLink fieldCode="DE" term="%22MODELS%22">MODELS</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTERS%22">COMPUTERS</searchLink><br /><searchLink fieldCode="DE" term="%22SPECIFICATIONS%22">SPECIFICATIONS</searchLink><br /><searchLink fieldCode="DE" term="%22ENVIRONMENTS%22">ENVIRONMENTS</searchLink><br /><searchLink fieldCode="DE" term="%22COMPUTER+GRAPHICS%22">COMPUTER GRAPHICS</searchLink><br /><searchLink fieldCode="DE" term="%22PDL%28Prototype+Dataflow+Language%29%22">PDL(Prototype Dataflow Language)</searchLink><br /><searchLink fieldCode="DE" term="%22Dataflow+programming+languages%22">Dataflow programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+environments%22">Programming environments</searchLink> – Name: Abstract Label: Description Group: Ab Data: 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. – Name: TypeDocument Label: Document Type Group: TypDoc Data: Thesis – Name: Format Label: File Description Group: SrcInfo Data: text/html – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: http://www.dtic.mil/docs/citations/ADA181950 – Name: URL Label: Availability Group: URL Data: http://www.dtic.mil/docs/citations/ADA181950<br />http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA181950 – Name: Copyright Label: Rights Group: Cpyrght Data: APPROVED FOR PUBLIC RELEASE – Name: AN Label: Accession Number Group: ID Data: edsbas.D99B8398 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.D99B8398 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Computer Programming and Software Type: general – SubjectFull: COMPUTER PROGRAMMING Type: general – SubjectFull: PARALLEL PROCESSING Type: general – SubjectFull: PROGRAMMING LANGUAGES Type: general – SubjectFull: GRAPHICS Type: general – SubjectFull: COMPUTATIONS Type: general – SubjectFull: PARALLEL ORIENTATION Type: general – SubjectFull: PERFORMANCE(ENGINEERING) Type: general – SubjectFull: REQUIREMENTS Type: general – SubjectFull: LANGUAGE Type: general – SubjectFull: SEMANTICS Type: general – SubjectFull: MODELS Type: general – SubjectFull: COMPUTERS Type: general – SubjectFull: SPECIFICATIONS Type: general – SubjectFull: ENVIRONMENTS Type: general – SubjectFull: COMPUTER GRAPHICS Type: general – SubjectFull: PDL(Prototype Dataflow Language) Type: general – SubjectFull: Dataflow programming languages Type: general – SubjectFull: Programming environments Type: general Titles: – TitleFull: The Design and Specification of PDL: The Prototype Dataflow Language. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Wolfe,Douglas J – PersonEntity: Name: NameFull: ARMY MILITARY PERSONNEL CENTER ALEXANDRIA VA IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 1987 Identifiers: – Type: issn-locals Value: edsbas Titles: – TitleFull: DTIC AND NTIS Type: main |
| ResultId | 1 |