scientific article; zbMATH DE number 3982495

MaRDI QIDQ3746868zbMATH OpenFDO

Authors Dieter Maurer

Publication date 1986

zbMATH Keywords

demand driven functional programsfunctional programminghigher order programsneed expressionsparallelismstrictness detectionstrictness of higher order functionsstrictness of user defined functions

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Strictness analysis for higher-order functions
• scientific article; zbMATH DE number 3960961
• scientific article; zbMATH DE number 3967886
• scientific article; zbMATH DE number 2185712
• scientific article; zbMATH DE number 3907749

Cited in

(7)

• Strictness analysis for higher-order functions
• A safe approach to parallel combinator reduction
• Strictness analysis and denotational abstract interpretation
• Strictness analysis of the untyped \(\lambda\)-calculus
• Generating function versions with rational strictness patterns
• scientific article; zbMATH DE number 3960961 (Why is no real title available?)
• scientific article; zbMATH DE number 2090021 (Why is no real title available?)

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