scientific article; zbMATH DE number 4178742

MaRDI QIDQ3201743zbMATH OpenFDO

Authors Gary Lindstrom

Publication date 1989

zbMATH Keywords

functional programmingfunctional programming languagescombinator reduction

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15)

Recommendations

• Static analysis for logic-based dynamic programs
• scientific article; zbMATH DE number 512893
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Logic Programming
• scientific article; zbMATH DE number 512959
• Control-flow analysis of functional programs
• Static analysis of logic programs for independent and parallelism
• scientific article; zbMATH DE number 1696605

Cited in

(4)

• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• A logical analysis of aliasing in imperative higher-order functions
• A logical analysis of aliasing in imperative higher-order functions
• Shapeliness analysis of functional programs with algebraic data types

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