scientific article; zbMATH DE number 2080290

MaRDI QIDQ4472544zbMATH OpenFDO

Authors Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1924/19240172.htm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

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

Cited in

(8)

• Automatic useless-code elimination for HOT functional programs
• scientific article; zbMATH DE number 2185706 (Why is no real title available?)
• scientific article; zbMATH DE number 3850462 (Why is no real title available?)
• A conjunctive type system for useless-code elimination
• scientific article; zbMATH DE number 1738289 (Why is no real title available?)
• Useless-code elimination and program slicing for the pi-calculus.
• Type-based useless-variable elimination
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

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