Binding-time analysis applied to mathematical algorithms
作者： Robert Glück , Ryo Nakashige , Robert Zöchling
DOI: 10.1007/978-0-387-34897-1_14
关键词: Partial evaluation 、 Algorithm 、 Theoretical computer science 、 Computer science 、 Binding time analysis 、 Order (business)
摘要: Our goal is to incorporate state-of-the-art partial evaluation in a library of general-purpose algorithms — particular, mathematical order allow the automatic creation efficient, special-purpose programs. The main efficiency: specialized program often runs significantly faster than its generic version.
springer.com
sci-hub.st 参考文章(12)
Peter Holst Andersen, Partial Evaluation Applied to Ray Tracing Software Engineering im Scientific Computing. pp. 78- 85 ,(1996) , 10.1007/978-3-322-85027-0_10
Robert Glück, Romana Baier, Robert Zöchling, Partial Evaluation of Numerical Programs in Fortran. partial evaluation and semantic-based program manipulation. pp. 119- 132 ,(1994)
Peter Sestoft, Neil D. Jones, Carsten K. Gomard, Partial evaluation and automatic program generation ,(1993)
Chris Goad, Automatic Construction of Special Purpose Programs conference on automated deduction. pp. 194- 208 ,(1982) , 10.1007/BFB0000060
David Kincaid, Ward Cheney, Numerical Analysis: Mathematics of Scientific Computing ,(1991)
Robert Metzger, Sean Stroud, Interprocedural constant propagation ACM Letters on Programming Languages and Systems. ,vol. 2, pp. 213- 232 ,(1993) , 10.1145/176454.176526
A. Berlin, D. Weise, Compiling scientific code using partial evaluation IEEE Computer. ,vol. 23, pp. 25- 37 ,(1990) , 10.1109/2.62091
F. G. Gustavson, W. Liniger, R. Willoughby, Symbolic Generation of an Optimal Crout Algorithm for Sparse Systems of Linear Equations Journal of the ACM. ,vol. 17, pp. 87- 109 ,(1970) , 10.1145/321556.321565
Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück, Fortran program specialization ACM SIGPLAN Notices. ,vol. 30, pp. 61- 70 ,(1995) , 10.1145/202176.202184
Saul A. Teukolsky, Brian P. Flannery, William T. Vetterling, William H. Press, Numerical Recipes in C: The Art of Scientific Computing ,(1986)