Denotational semantics of a para-functional programming language

DOI10.1007/BF01414441MaRDI QIDQ1085595zbMATH OpenFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 408794
• Denotational semantics of a parallel object-oriented language
• scientific article; zbMATH DE number 4009792
• Programming Denotational Semantics II
• Functional semantics
• Computational semantics with functional programming
• Semantics of untyped functional programs
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Denotational semantics of mixed computation processes for a structural programming language
• Denotational semantics for a program logic of objects

Cites work

• scientific article; zbMATH DE number 3907755 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• Denotational semantics of a para-functional programming language

Cited in

(4)

• Denotational semantics of a para-functional programming language
• Quantifier elimination and parametric polymorphism in programming languages
• scientific article; zbMATH DE number 4009792 (Why is no real title available?)
• Programming Denotational Semantics II

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085595)