On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)

Bougé, Luc; Guyadec, Yann Le; Utard, Gil; Virot, Bernard

doi:10.1007/3-540-58430-7_10

Cited by 4 publications

(2 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bouge et al [1,2] defined both axiomatic and denotational semantics for a "low level" data-parallel language £, which gives instructions and control constructs including Skip, Assignment, Communication, Sequencing and iteration. They also define an intermediate data-parallel language where asynchronism becomes explicit in the syntax.…”

Section: Related Workmentioning

confidence: 99%

Denotational Semantics of an HPF-Like Data-Parallel Language Model

Guo

2001

Parallel Process. Lett.

View full text Add to dashboard Cite

It is important for programmers to understand the semantics of a programming language. However, little work has been done about the semantic descriptions of HPFlike data-parallel languages. In this paper, we first define a simple language T>, which includes the principal facilities of a data-parallel language such as HPF. Then we present a denotational semantic model of T>. It is useful for understanding the components of an HPF-like language, such as data alignment and distribution directives, forall dataparallel statements.

show abstract

Section: Related Workmentioning

confidence: 99%

Denotational Semantics of an HPF-Like Data-Parallel Language Model

Guo

2001

Parallel Process. Lett.

View full text Add to dashboard Cite

show abstract

“…Data parallelism [2] [3] [7] [12] [14] [16] is a structure for specifying scientific computations (usually representations of numerical algorithms) which are to be executed on multi-processor machines. Data parallel computation is attractive because (i) many scientific applications can be conveniently described and efficiently implemented in the framework; and (ii) it is conceptually simpler than many alternative models (for example, CSP [11] and BSP [15]).…”

Section: Introductionmentioning

confidence: 99%