Partial evaluation of Maple

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2007, Pages 41-50

  Carette, Jacques ^a   Kucera, Michael ^b  

^a MCMASTER UNIVERSITY   (Canada)

^b NONE

Author keywords

Maple; Partial evaluation; Residual theorems; Symbolic computation

Indexed keywords

COMPUTER ALGEBRA SYSTEM; MAPLE; PARTIAL EVALUATION; RESIDUAL THEOREMS; SYMBOLIC COMPUTATION;

INFORMATION TECHNOLOGY; NUMERICAL METHODS; PROBLEM SOLVING; PROGRAM DOCUMENTATION; THEOREM PROVING;

FORMAL LANGUAGES;

EID: 35348887762     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244381.1244389     Document Type: Conference Paper

References (21)

1. L. O. Andersen. C program specialization. Technical report, DIKU, University of Copenhagen, May 1992.
2. A. W. Appel. Modern Compiler Implementation: In ML. Cambridge University Press, New York, NY, USA, 1998.
3. C. Bailarin and M. Kauers. Solving parametric linear systems: an experiment with constraint algebraic programming. SIGSAM Bull., 38(2):33-46, 2004.
4. J. Carette. Gaussian elimination: a case study in efficient genericity with metaocaml. Science of Computer Programming, 62(1):3-24, September 2006. Special Issue on the First MetaOCaml Workshop 2004.
5. J. Carette and S. Forrest. Mining Maple code for contracts. In Ranise and Bigatti [14].
6. J. Carette and O. Kiselyov. Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. In GPCE, pages 256-274, 2005.
7. D. Elphick, M. Leuschel, and S. Cox. Partial evaluation of MATLAB. In Proceedings of the second international conference on Generative Programming and Component Engineering, pages 344-363. Springer-Verlag New York, Inc., 2003.
8. D. Gruntz and M. Monagan. Introduction to Gauss. SIGSAM. BULLETIN: Communications on Computer Algebra, 28(2):3-19, Aug. 1994.
9. N. D. Jones, C. K. Goinard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International(UK) Limited, 1993.
10. M. Kucera. Partial evaluation of maple programs. McMaster University, May 2006.
11. M. Kucera and J. Carette. Partial evaluation and residual theorems in computer algebra. In Ranise and Bigatti [14].
12. M. B. Monagan, K. O. Geddes, K. M. Heal, G. Labahn, S. M. Vorkoetter, J. McCarron, and P. DeMarco. Maple 10 Advanced Programming Guide. Waterloo Maple Inc., 2005.
13. D. R. Musser and A. A. Stepanov. Generic programming. In ISSAC 1988: Proceedings of the International Symposium on Symbolic and Algebraic Computation, volume 358 of Lecture Notes in Computer Science, pages 13-25. Springer-Verlag, 1989.
14. S. Ranise and A. Bigatti, editors. Proceedings of Calculemus 2006, Electronic Notes in Theoretical Computer Science. Elsevier, 2006.
15. E. Ruf and D. Weise. Preserving information during online partial evaluation. Technical Report CSL-TR-92-517, Stanford University, April 1992.
16. D. Stoutemeyer. Crimes and misdemeanors in the computer algbebra trade. Notices of the AMS, pages 701-785, 1991.
17. E. Sumii and N. Kobayashi. Online type-directed partial evaluation for dynamically-typed languages. Computer Software, Iwanami Shoten, Japan, 17(3):38-62, May 2000.
18. E. Sumii and N. Kobayashi. A hybrid approach to online and offline partial evaluation. Higher-Order and Symbolic Computation, 14(2/3):101-142, 2001.
19. P. Thiemann. Cogen in six lines. In Proc. ACM SIGPLAN International Conference on Functional Programming 1996, pages 180-189, May 1996.
20. P. Thiemann. The PGG System - User Manual, March 2000.
21. P. Thiemann and D. Dussart. Partial evaluation for higher-order languages with state. available from first author's web page, July 1999.