scientific article; zbMATH DE number 4205977

MaRDI QIDQ3355229zbMATH OpenFDO

Authors Alberto Pettorossi, Andrzej Skowron

Publication date 1987

zbMATH Keywords

expression evaluationfunctional programmingparallel algorithmsproof system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Publication:3026318
• Algorithm + strategy = parallelism
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• scientific article; zbMATH DE number 4172382
• Parallel restructuring and evaluation of expressions

Cited in

(19)

• A cost calculus for parallel functional programming
• Problem of checking the functional completeness in the class of piecewise parallel functions
• Lenient evaluation and parallelism
• scientific article; zbMATH DE number 4014001 (Why is no real title available?)
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• scientific article; zbMATH DE number 5503689 (Why is no real title available?)
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• scientific article; zbMATH DE number 3974250 (Why is no real title available?)
• Algorithm + strategy = parallelism
• Continuation-based compilation of functional languages for parallel machines
• A competitive algorithm for managing sharing in the distributed execution of functional programs
• scientific article; zbMATH DE number 1760047 (Why is no real title available?)
• Editorial for the Special Issue on Parallel and Concurrent Functional Programming
• Robust evaluation of expressions by distributed virtual machines
• scientific article; zbMATH DE number 2086784 (Why is no real title available?)
• An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
• scientific article; zbMATH DE number 1863305 (Why is no real title available?)
• Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
• Parallel functional programming in Eden

This page was built for publication:

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