Dissertation/Thesis

The Design and Specification of PDL: The Prototype Dataflow Language.

Bibliographic Details
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