researchr - search publication Recursion Removal

researchr

You are not signed in
Sign in
Sign up

16 publication results matching ' Recursion Removal'

Systematic Recursion RemovalMarc A. Auslander, H. Raymond Strong. CACM, 21(2):127-134, 1978.
A Family of Rules for Recursion RemovalHelmuth Partsch, Peter Pepper. ipl, 5(6):174-177, 1976.
A Recursion Removal TheoremMartin Ward. Refine 1992: 43-69 [doi]
A New Approach to Recursion RemovalPeter G. Harrison, Hessam Khoshnevisan. TCS, 93(1):91-113, 1992.
Properties preserved under recursion removalH. Raymond Strong, S. A. Walker. praapr 1972: 97-103 [doi]
Control Flow Analysis for Recursion RemovalStefaan Himpe, Francky Catthoor, Geert Deconinck. scopes 2003: 101-116 [doi]
Some Techniques for Recursion Removal from Recursive ProgramsJacques J. Arsac, Yves Kodratoff. TOPLAS, 4(2):295-322, 1982. [doi]
A Technique for Recursion Removal Based on String HomomorphismsStephan Heilbrunner, Werner Pohlmann. SCP, 2(1):69-81, 1982.
Recursions Removal in Fast Matrix Multiplication without StacksTrung Ha Quoc. rivf 2003: 7-10 [doi]
Recursion Removal as an Instructional Method to Enhance the Understanding of Recursion TracingJ. Ángel Velázquez-Iturbide, María Eugenia Castellanos, Raquel Hijón-Neira. te, 59(3):161-168, 2016. [doi]
Recursion Removal from Recursive Programs with One Descent FunctionYusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura. aplas 2002: 383-395
Weakly commuting term rewriting systems : application to automatic recursion removalErnesto Jorge Costa. ecai 1982: 87-90
Recursion Removal from Recursive Programs with Only One Descent FunctionYusuke Ichikawa, Zenjiro Konishi, Yoshihiko Futamura. ieicet, 88-D(2):187-196, 2005. [doi]
Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program ComprehensionMartin P. Ward, Keith H. Bennett. cj, 42(8):650-673, 1999.
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute GrammarsWolfgang Lohmann, Günter Riedewald, Markus Stoy. ENTCS, 110:133-148, 2004. [doi]
Program Transformation System Based on Generalized Partial ComputationYoshihiko Futamura, Zenjiro Konishi, Robert Glück. ngc, 20(1):75-100, 2001.

Sign in or sign up to see more results.

runs on WebDSL