schliessen

Filtern

 

Bibliotheken

Cover Image

Semantics for data parallel computation

An analysis demonstrates how the essential aspects of a low-level language for data parallel computations can be formally specified in both a denotational and operational manner. Furthermore, a theorem is presented that establishes the equivalence of these 2 specifications. Therefore, one has the op... Full description

Journal Title: International journal of parallel programming 1990, Vol.19 (6), p.477-509
Main Author: RICE, M. D
Format: Electronic Article Electronic Article
Language: English
Subjects:
Algorithms
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Implementations
Language
Mathematical models
Parallel processing
Semantics
Software
Specifications
Theory
Publisher: New York, NY: Plenum Press
ID: ISSN: 0885-7458
Link: http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=4770707
Zum Text:
SendSend as email Add to Book BagAdd to Book Bag
Staff View
recordid: cdi_proquest_miscellaneous_743467814
title: Semantics for data parallel computation
format: Article
creator:
  • RICE, M. D
subjects:
  • Algorithms
  • Applied sciences
  • Computer science
  • control theory
  • systems
  • Computer systems and distributed systems. User interface
  • Exact sciences and technology
  • Implementations
  • Language
  • Mathematical models
  • Parallel processing
  • Semantics
  • Software
  • Specifications
  • Theory
ispartof: International journal of parallel programming, 1990, Vol.19 (6), p.477-509
description: An analysis demonstrates how the essential aspects of a low-level language for data parallel computations can be formally specified in both a denotational and operational manner. Furthermore, a theorem is presented that establishes the equivalence of these 2 specifications. Therefore, one has the option of either: 1. implementing a simulator that will be the target machine for programs written in the language, or 2. implementing a language interpreter for testing algorithms. The language has been a useful tool for specifying and proving the correctness of basic data parallel algorithms. Currently, the plans are to implement a prototype language simulator that includes input-output commands that have been omitted in the present language description. A long-term goal is to use the language as the assembly language for a high-level data parallel language that incorporates procedures, virtual processors, and virtual topologies.
language: eng
source:
identifier: ISSN: 0885-7458
fulltext: no_fulltext
issn:
  • 0885-7458
  • 1573-7640
url: Link


@attributes
NO1
SEARCH_ENGINEprimo_central_multiple_fe
SEARCH_ENGINE_TYPEPrimo Central Search Engine
RANK1.4478904
LOCALfalse
PrimoNMBib
record
control
sourceidproquest_cross
recordidTN_cdi_proquest_miscellaneous_743467814
sourceformatXML
sourcesystemPC
sourcerecordid743467814
originalsourceidFETCH-LOGICAL-c268t-11d8d54cf1de4f081bb48c2812b0860583b649758d94ca89289f98710b8a0ca80
addsrcrecordideNpdkEFLxDAUhIMouK5e_AVFhAWh-pKmzctRF1eFBQ_qOaRpAl3SpibtwX9vFxcFeYeBxzfDMIRcUrilAOLuYQO0kKJieEQWtBRFLioOx2QBiGUueImn5CylHQBIgbggqzfb6X5sTcpciFmjR50NOmrvrc9M6IZp1GMb-nNy4rRP9uKgS_KxeXxfP-fb16eX9f02N6zCMae0wabkxtHGcgdI65qjYUhZDVhBiUVdcSlKbCQ3GiVD6SQKCjVqmB-wJKuf3CGGz8mmUXVtMtZ73dswJSV4wSuBlM_k1T9yF6bYz-UUA84kFLSYoZsfyMSQUrRODbHtdPxSFNR-MfW32AxfHxJ1Mtq7qHvTpl8HFwL29w24FGdD
sourcetypeAggregation Database
isCDItrue
recordtypearticle
pqid204290313
display
typearticle
titleSemantics for data parallel computation
creatorRICE, M. D
creatorcontribRICE, M. D
descriptionAn analysis demonstrates how the essential aspects of a low-level language for data parallel computations can be formally specified in both a denotational and operational manner. Furthermore, a theorem is presented that establishes the equivalence of these 2 specifications. Therefore, one has the option of either: 1. implementing a simulator that will be the target machine for programs written in the language, or 2. implementing a language interpreter for testing algorithms. The language has been a useful tool for specifying and proving the correctness of basic data parallel algorithms. Currently, the plans are to implement a prototype language simulator that includes input-output commands that have been omitted in the present language description. A long-term goal is to use the language as the assembly language for a high-level data parallel language that incorporates procedures, virtual processors, and virtual topologies.
identifier
0ISSN: 0885-7458
1EISSN: 1573-7640
2DOI: 10.1007/BF01397628
3CODEN: IJPPE5
languageeng
publisherNew York, NY: Plenum Press
subjectAlgorithms ; Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Implementations ; Language ; Mathematical models ; Parallel processing ; Semantics ; Software ; Specifications ; Theory
ispartofInternational journal of parallel programming, 1990, Vol.19 (6), p.477-509
rights
01993 INIST-CNRS
1Copyright Plenum Publishing Corporation Dec 1990
lds50peer_reviewed
citesFETCH-LOGICAL-c268t-11d8d54cf1de4f081bb48c2812b0860583b649758d94ca89289f98710b8a0ca80
links
openurl$$Topenurl_article
thumbnail$$Usyndetics_thumb_exl
backlink$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=4770707$$DView record in Pascal Francis
search
creatorcontribRICE, M. D
title
0Semantics for data parallel computation
1International journal of parallel programming
descriptionAn analysis demonstrates how the essential aspects of a low-level language for data parallel computations can be formally specified in both a denotational and operational manner. Furthermore, a theorem is presented that establishes the equivalence of these 2 specifications. Therefore, one has the option of either: 1. implementing a simulator that will be the target machine for programs written in the language, or 2. implementing a language interpreter for testing algorithms. The language has been a useful tool for specifying and proving the correctness of basic data parallel algorithms. Currently, the plans are to implement a prototype language simulator that includes input-output commands that have been omitted in the present language description. A long-term goal is to use the language as the assembly language for a high-level data parallel language that incorporates procedures, virtual processors, and virtual topologies.
subject
0Algorithms
1Applied sciences
2Computer science; control theory; systems
3Computer systems and distributed systems. User interface
4Exact sciences and technology
5Implementations
6Language
7Mathematical models
8Parallel processing
9Semantics
10Software
11Specifications
12Theory
issn
00885-7458
11573-7640
fulltextfalse
rsrctypearticle
creationdate1990
recordtypearticle
recordideNpdkEFLxDAUhIMouK5e_AVFhAWh-pKmzctRF1eFBQ_qOaRpAl3SpibtwX9vFxcFeYeBxzfDMIRcUrilAOLuYQO0kKJieEQWtBRFLioOx2QBiGUueImn5CylHQBIgbggqzfb6X5sTcpciFmjR50NOmrvrc9M6IZp1GMb-nNy4rRP9uKgS_KxeXxfP-fb16eX9f02N6zCMae0wabkxtHGcgdI65qjYUhZDVhBiUVdcSlKbCQ3GiVD6SQKCjVqmB-wJKuf3CGGz8mmUXVtMtZ73dswJSV4wSuBlM_k1T9yF6bYz-UUA84kFLSYoZsfyMSQUrRODbHtdPxSFNR-MfW32AxfHxJ1Mtq7qHvTpl8HFwL29w24FGdD
startdate1990
enddate1990
creatorRICE, M. D
general
0Plenum Press
1Springer Nature B.V
scope
0IQODW
1AAYXX
2CITATION
37SC
48FD
5JQ2
6L7M
7L~C
8L~D
sort
creationdate1990
titleSemantics for data parallel computation
authorRICE, M. D
facets
frbrtype5
frbrgroupidcdi_FETCH-LOGICAL-c268t-11d8d54cf1de4f081bb48c2812b0860583b649758d94ca89289f98710b8a0ca80
rsrctypearticles
prefilterarticles
languageeng
creationdate1990
topic
0Algorithms
1Applied sciences
2Computer science; control theory; systems
3Computer systems and distributed systems. User interface
4Exact sciences and technology
5Implementations
6Language
7Mathematical models
8Parallel processing
9Semantics
10Software
11Specifications
12Theory
toplevelpeer_reviewed
creatorcontribRICE, M. D
collection
0Pascal-Francis
1CrossRef
2Computer and Information Systems Abstracts
3Technology Research Database
4ProQuest Computer Science Collection
5Advanced Technologies Database with Aerospace
6Computer and Information Systems Abstracts – Academic
7Computer and Information Systems Abstracts Professional
jtitleInternational journal of parallel programming
delivery
delcategoryRemote Search Resource
fulltextno_fulltext
addata
auRICE, M. D
formatjournal
genrearticle
ristypeJOUR
atitleSemantics for data parallel computation
jtitleInternational journal of parallel programming
date1990
risdate1990
volume19
issue6
spage477
epage509
pages477-509
issn0885-7458
eissn1573-7640
codenIJPPE5
abstractAn analysis demonstrates how the essential aspects of a low-level language for data parallel computations can be formally specified in both a denotational and operational manner. Furthermore, a theorem is presented that establishes the equivalence of these 2 specifications. Therefore, one has the option of either: 1. implementing a simulator that will be the target machine for programs written in the language, or 2. implementing a language interpreter for testing algorithms. The language has been a useful tool for specifying and proving the correctness of basic data parallel algorithms. Currently, the plans are to implement a prototype language simulator that includes input-output commands that have been omitted in the present language description. A long-term goal is to use the language as the assembly language for a high-level data parallel language that incorporates procedures, virtual processors, and virtual topologies.
copNew York, NY
pubPlenum Press
doi10.1007/BF01397628