scientific article; zbMATH DE number 4014001

MaRDI QIDQ3026318zbMATH OpenFDO

Authors Geoffrey L. Burn

Publication date 1987

zbMATH Keywords

abstract interpretationevaluation transformerparallel evaluation of functional languagesparallel reductionstrictness analysis

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 4205977
• scientific article; zbMATH DE number 3960961
• Lenient evaluation and parallelism
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• Algorithm + strategy = parallelism

Cited in

(7)

• A partial evaluator for a parallel lambda language
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• scientific article; zbMATH DE number 4205977 (Why is no real title available?)
• Proving Properties of Lazy Functional Programs with Sparkle
• Algorithm + strategy = parallelism
• Inverse image analysis generalises strictness analysis
• Implementing term rewrite languages in DACTL

Describes a project that uses

Uses Software

• Miranda

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 Q3026318)