Automatic useless-code elimination for HOT functional programs

DOI10.1017/S0956796800003786MaRDI QIDQ2713364zbMATH OpenOpenAlexFDO

Authors Ferruccio Damiani, Paola Giannini

Publication date 20 September 2001

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800003786

zbMATH Keywords

higher-order typed functional programsinference systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A conjunctive type system for useless-code elimination
• scientific article; zbMATH DE number 2080290
• scientific article; zbMATH DE number 1738289
• Refinement types for program analysis
• Type-based useless-variable elimination

Cited in

(8)

• scientific article; zbMATH DE number 2185706 (Why is no real title available?)
• Removing redundant arguments automatically
• scientific article; zbMATH DE number 1301731 (Why is no real title available?)
• A conjunctive type system for useless-code elimination
• scientific article; zbMATH DE number 2080290 (Why is no real title available?)
• scientific article; zbMATH DE number 1738289 (Why is no real title available?)
• Refinement types for program analysis
• Type-based useless-variable elimination

This page was built for publication: Automatic useless-code elimination for HOT functional programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2713364)