A Transformation Method for Dynamic-Sized Tabulation (1995)

Cached

Download Links

by Wei-ngan Chin , Masami Hagiya
Citations:9 - 3 self

Documents Related by Co-Citation

571 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
67 Tabulation techniques for recursive programs – R S Bird - 1980
73 Towards an automated tupling strategy – Wei-Ngan Chin - 1993
25 Eliminating redundant recursive calls – N H Cohen - 1983
88 The promotion and accumulation strategies in transformational programming – Richard S Bird - 1984
16 Tupling functions with multiple recursion parameters – W-N Chin, S-C Khoo - 1993
34 Automatic Methods for Program Transformation – W-N Chin - 1990
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
36 Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs. Theoretical Computer Science 142 – M Proietti, A Pettorossi - 1995
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
642 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
12 Transformation of Programs and Use of Tupling Strategy – A Pettorossi - 1977
3 IO-macrolanguages and attributed translations – J Duske, R Parchmann, M Sedello, J Specht - 1977
2 Funktionale Programmierung mit primitiver Rekursion - formale Modelle zur Reduktionssemantik – H Vogler - 1990
5 Program transformations expressed by algebraic type manipulations – P Pepper, H Partsch - 1986
79 Specification and Transformation of Programs: a Formal Approach to Software Development – H A Partsch - 1990
10 Rules and Strategies for Program Transformation – A Pettorossi, M Proietti - 1993
46 Some open questions and recent results on tree transducers and tree languages – J Engelfriet - 1975
57 Attribute grammars and recursive program schemes I – B Courcelle, P Franchi-Zannettacci - 1982