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

DOI10.1145/4472.215006zbMATH Open0577.68020OpenAlexW2047710302MaRDI QIDQ3698282FDOQ3698282

Authors: 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/

Recommendations

• scientific article; zbMATH DE number 3957068
• Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59]
• Corrigendum: ``A domain equation for bisimulation by S. Abramsky
• Revisiting the linear recursions with nonnegative coefficients problem
• scientific article; zbMATH DE number 3017947

zbMATH Keywords

redundant recursive calls

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (2)

• A new approach to recursion removal
• Title not available (Why is that?)

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

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