Denotational semantics of a para-functional programming language
type: Item
instance of: scholarly article
title: Denotational semantics of a para-functional programming language
zbMATH Open document ID: 0607.68003
DOI: 10.1007/BF01414441
author: Paul Hudak
published in: International Journal of Parallel Programming
publication date: 1986-01-01T00:00:00Z
review text: A para-functional programming language is a functional language that has been extended with special annotations that provide an extra degree of control over parallel evaluation. Of most interest are annotations that allow one to express the dynamic mapping of a program onto a known multiprocessor topology. Since it is quite desirable to provide a precise semantics for any programming language, in this paper a denotational semantics is given for a simple para-functional programming language with mapping annotations. A precise meaning is given not only to a normal functional behavior of the program (i.e., the answer), but also to the operational notion of where (i.e., on what processor) expressions are evaluated. The latter semantics is accomplished through an abstract entity called an execution tree.
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3982487
zbMATH Keywords: parallel evaluation
zbMATH Keywords: multiprocessor topology
zbMATH Keywords: mapping annotations
zbMATH Keywords: functional behavior
zbMATH Keywords: execution tree
MaRDI profile type: Publication
cites work: Q3685177
cites work: Q4199490
cites work: A Transformation System for Developing Recursive Programs
cites work: Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
Recommended article: Q4202938
Recommended article: Denotational semantics of a parallel object-oriented language
Recommended article: Q3759933
Recommended article: Programming Denotational Semantics II
Recommended article: Functional Semantics
Recommended article: Computational Semantics with Functional Programming
Recommended article: Semantics of untyped functional programs
Recommended article: Denotational semantics of an object-oriented programming language with explicit wrappers
Recommended article: Denotational semantics of mixed computation processes for a structural programming language
Recommended article: Denotational semantics for a program logic of objects
description: scientific article; zbMATH DE number 3982487