Denotational semantics of a para-functional programming language

DOI10.1007/BF01414441zbMath0607.68003MaRDI QIDQ1085595

Paul Hudak

Publication date: 1986

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

zbMATH Keywords

functional behaviorparallel evaluationexecution treemapping annotationsmultiprocessor topology

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (2)

Denotational semantics of a para-functional programming language ⋮ Quantifier elimination and parametric polymorphism in programming languages

Cites Work

• Denotational semantics of a para-functional programming language
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics of a para-functional programming language