The TAMPR Program Transformation System: Simplifying the Development of Numerical Software-Reference-Cited by-同舟云学术

The TAMPR Program Transformation System: Simplifying the Development of Numerical Software

Published:1997 Issue: Volume: Page:353-372
ISSN:
Container-title:Modern Software Tools for Scientific Computing
language:
Short-container-title:

Author:

Boyle James M.,Harmer Terence J.,Winter Victor L.

Publisher

Birkhäuser Boston

Link

http://link.springer.com/content/pdf/10.1007/978-1-4612-1986-6_17.pdf

Reference11 articles.

1. D. P. Bertsekas and D. A. Castanon. Parallel synchronous and asynchronous implementations of the auction algorithm Parallel Computing, 1990.

2. J. M. Boyle. Abstract programming and program transformation—an approach to reusing programs In T. J. Biggerstaff and A. J. Perlis, editors, Software Reusability, volume I, pages 361–413, New York, 1989. Addison-Wesley.

3. J. M. Boyle, M. Clint, S. Fitzpatrick, and T. J. Harmer. The construction of numerical mathematical software for the AMT DAP by program transformation. In L. Bouge, M. Cosnard, Y. Robert, and D. Trystam, editors, Parallel Processing: CONPAR 92—VAPP V, Second Joint International Conference on Vector and Parallel Processing, LNCS 684, pages 761–767, Berlin, 1992. Springer-Verlag.

4. J. M. Boyle, K. W. Dritz, M. M. Muralidharan, and R. Taylor. Deriving sequential and parallel programs from pure lisp specifications by program transformation. In L.G.L.T. Meertens, editor, Proceedings of the IFIP TC2/WG2.1 Working Conference on Program Specification and Transformation, Bad-Toelz, Germany, 15–17 April,1986, pages 1–19, Amsterdam, 1987. North-Holland.

5. J. M. Boyle and T. J. Harmer. A practical functional program for the Cray X—MP. Journal of Functional Programming, 2(1):81–126, January 1992.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search;ACM Transactions on Programming Languages and Systems;2023-09-23

2. ImageEye: Batch Image Processing using Program Synthesis;Proceedings of the ACM on Programming Languages;2023-06-06

3. egg: Fast and extensible equality saturation;Proceedings of the ACM on Programming Languages;2021-01-04

4. Algorithmics;IFIP Advances in Information and Communication Technology;2021

5. Optimizing homomorphic evaluation circuits by program synthesis and term rewriting;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06