scientific article; zbMATH DE number 1301731

zbMATH Open0927.03050MaRDI QIDQ4246944FDOQ4246944

Authors: Ferruccio Damiani, Frédéric Prost 

Publication date: 13 December 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

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

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)