scientific article; zbMATH DE number 1236362

MaRDI QIDQ4223775zbMATH OpenFDO

Authors Christian Mossin

Publication date 6 January 1999

zbMATH Keywords

control flow graphsdynamically typed programs

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1130261
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Exact flow analysis by higher-order model checking
• Flow analysis of lazy higher-order functional programs

Cited in

(6)

• Type-based flow analysis and context-free language reachability
• scientific article; zbMATH DE number 177796 (Why is no real title available?)
• scientific article; zbMATH DE number 1332637 (Why is no real title available?)
• scientific article; zbMATH DE number 1761898 (Why is no real title available?)
• Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
• Flow analysis of lazy higher-order functional programs

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