scientific article; zbMATH DE number 4014001

zbMATH Open0624.68014MaRDI QIDQ3026318FDOQ3026318

Authors: Geoffrey L. Burn 

Publication date: 1987

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

abstract interpretationstrictness analysisparallel reductionevaluation transformerparallel evaluation of functional languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (4)

• Inverse image analysis generalises strictness analysis
• Annotations to Control Parallelism and Reduction Order in the Distributed Evaluation of Functional Programs
• Implementing term rewrite languages in DACTL
• Proving Properties of Lazy Functional Programs with Sparkle

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)