Towards a modular program derivation via fusion and tupling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2487, Issue , 2002, Pages 140-155

  Chin, Wei Ngan ^a,b   Hu, Zhenjiang ^c,d  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b SINGAPORE MIT ALLIANCE   (Singapore)

^c UNIVERSITY OF TOKYO   (Japan)

^d JAPAN SCIENCE AND TECHNOLOGY AGENCY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

MODULAR PROGRAMS; TUPLING;

SPECIFICATIONS;

EID: 84937421115     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45821-2_9     Document Type: Conference Paper

References (28)

1. R.M. Burstall andJ. Darlington. A transformation system for developing recursive programs. Journal of ACM, 24(1):44-67, January 1977.
2. Jon Bentley. Programming Pearls. Addison-Wesley, 1986.
3. RichardS. Bird. The promotion andaccumulation strategies in transformational programming. ACM Trans. on Programming Languages and Systems, 6(4):487-504, October 1984.
4. RichardS. Bird. Lectures on Constructive Functional Programming. Springer-Verlag, 1988.
5. RichardS. Bird. Lecture notes on theory of lists. In STOP Summer School on Constructive Algorithmics, Abeland, pages 1-25, 9 1989.
6. Wei-Ngan Chin. Safe fusion of functional expressions. In 7th ACM LISP and Functional Programming Conference, pages 11-20, San Francisco, California, June 1992. ACM Press.
7. Wei-Ngan Chin. Towards an automated tupling strategy. In ACM SIG-PLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 119-132, Copenhagen, Denmark, June 1993. ACM Press.
8. Wei-Ngan Chin. Safe fusion of functional expressions II: Further improvements. Journal of Functional Programming, 4(4):515-555, October 1994.
9. Manuel MT Chakravarty and Gabriele Keller. Functional array fusion. In ACM Intl. Conference on Functional Programming, pages 205-216, Florence, Italy, September 2001. ACM Press.
10. W.N. Chin and A. Takano. Deriving laws by program specialization. Technical report, Hitachi Advanced Research Laboratory, July 1997.
11. M. Fokkinga. Tupling andmutumorphisms. Squiggolist, 1(4), 1989.
12. M. Fokkinga. Law and Order in Algorithmics. Ph.D thesis, Dept. INF, University of Twente, The Netherlands, 1992.
13. A. Gill, J. Launchbury, and S. Peyton-Jones. A short-cut to deforestation. In 6th ACM Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993. ACM Press.
14. Z. Hu, H. Iwasaki, and M. Takeichi. Deriving structural hylomorphisms from recursive definitions. In A CM SIGPLAN International Conference on Functional Programming, pages 73-82, Philadelphia, Pennsylvannia, May 1996. ACM Press.
15. Z. Hu, H. Iwasaki, andM. Takeichi. Calculating accumulations. New Generation Computing, 17(2):153-173, 1999.
16. Z. Hu, H. Iwasaki, M. Takeichi, and A. Takano. Tupling calculation eliminates multiple traversals. In 2nd ACM SIGPLAN International Conference on Functional Programming, pages 164-175, Amsterdam, Netherlands, June 1997. ACM Press.
17. Z. Hu, M. Takeichi, and W.N. Chin. Parallelization in calculational forms.
18. In 25th Annual ACM Symposium on Principles of Programming Languages, pages 316-328, San Diego, California, January 1998. ACM Press.
19. J. Jeuring. Theories for Algorithm Calculation. Ph.D thesis, Faculty of Science, Utrecht University, 1993.
20. S. Peyton Jones and J. Hughes, editors. Haskell 98: A Non-strict, Purely Functional Language. Available online: http://www.haskell.org, February 1999.
21. T. SheardandL. Fegaras. A foldfor all seasons. In 6th ACM Conference on Functional programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993. ACM Press.
22. M.H. S0rensen, R. Gluck, and Jones N.D. Towards unifying deforestation, supercompilation, partial evaluation andgeneralisedpartial computation. In European Symposium on Programming (LNCS 788), Edinburgh, April 1994.
23. Douglas R. Smith. KIDS-a semi-automatic program development system. Technical report, Kestrel Institute, October 1989.
24. H. Seidl and M.H. Sørensen. Constraints to stop higher-order deforestation. In 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997. ACM Press.
25. M. Takeichi and Z. Hu. Calculation carrying programs: How to code program transformations (invitedpaper). In International Sumposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, November 2000. IEEE Press.
26. A. Takano and E. Meijer. Shortcut deforestation in calculational form. In ACM Conference on Functional Programming and Computer Architecture, pages 306-313, San Diego, California, June 1995. ACM Press.
27. Phil Wadler. Deforestation: Transforming programs to eliminate trees. In European Symposium on Programming, Nancy, France, (LNCS, vol 300, pp. 344-358), March 1988.
28. T. Yokoyama, Z. Hu, and M. Takeichi. Yicho: A system for programming program calculations. Technical Report METR 2002-07, Department of Mathematical Engineering, University of Tokyo, June 2002. submittedfor publication.