Removing redundant arguments automatically

DOI10.1017/S1471068406002869MaRDI QIDQ3430663zbMATH OpenWikidataFDO

Authors Santiago Escobar, Salvador Lucas, María Alpuente

Publication date 23 March 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

analysis and optimizationredundant arguments in functionssemantics-preserving program transformationterm rewriting

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Removing Redundant Arguments of Functions*
• scientific article; zbMATH DE number 5033861
• Type-based useless-variable elimination
• scientific article; zbMATH DE number 6744203
• Automatic useless-code elimination for HOT functional programs

Cited in

(5)

• Argument deletion without events
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• Analyzing program termination and complexity automatically with \textsf{AProVE}
• Removing Redundant Arguments of Functions*
• Verifying procedural programs via constrained rewriting induction

This page was built for publication: Removing redundant arguments automatically

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