scientific article; zbMATH DE number 2080290

zbMATH Open1044.68542MaRDI QIDQ4472544FDOQ4472544

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

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Type-based useless-variable elimination
• Useless-code elimination and program slicing for the pi-calculus.
• Automatic useless-code elimination for HOT functional programs
• A conjunctive type system for useless-code elimination

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)