A note on Cohen's “eliminating redundant recursive calls”

DOI10.1145/4472.215006zbMath0577.68020OpenAlexW2047710302MaRDI QIDQ3698282

Alberto Pettorossi

Publication date: 1985

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

redundant recursive calls

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: A note on Cohen's “eliminating redundant recursive calls”