scientific article; zbMATH DE number 1301731

MaRDI QIDQ4246944zbMATH OpenFDO

Authors Ferruccio Damiani, Frédéric Prost

Publication date 13 December 1999

zbMATH Keywords

simply typed \(\lambda\)-calculusannotated typesdead-codenonstandard type assignment systemoptimization of programs extracted from proofs in logical frameworksrank 2 intersectiontyped functional programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

Recommendations

• Eliminating partially dead code in explicitly parallel programs
• Dead code elimination based pointer analysis for multithreaded programs
• Compiler Construction
• Automatic useless-code elimination for HOT functional programs
• Elimination of redundant messages with a two-pass static analysis algorithm
• Modular control-flow analysis with rank 2 intersection types

Cited in

(4)

• Semantic types and approximation for Featherweight Java
• Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
• Eliminating dead code on recursive data.
• Refinement types for program analysis

Describes a project that uses

Uses Software

• Coq
• LEGO

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