Removing redundant arguments automatically
From MaRDI portal
Publication:3430663
DOI10.1017/S1471068406002869zbMath1112.68068WikidataQ57978219 ScholiaQ57978219MaRDI QIDQ3430663
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)
term rewritinganalysis and optimizationredundant arguments in functionssemantics-preserving program transformation
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Verifying Procedural Programs via Constrained Rewriting Induction ⋮ Analyzing program termination and complexity automatically with \textsf{AProVE} ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
This page was built for publication: Removing redundant arguments automatically
