A Transformational Approach which Combines Size Inference and Program Optimization (2001)

by Christoph A. Herrmann , Christian Lengauer
Venue:SEMANTICS, APPLICATIONS, AND IMPLEMENTATION OF PROGRAM GENERATION (SAIG’01), LECTURE NOTES IN COMPUTER SCIENCE 2196
Citations:5 - 0 self

Documents Related by Co-Citation

144 Static Prediction of Heap Space Usage for First-order Functional Programs – Martin Hofmann, Steffen Jost - 2003
28 Inferring cost equations for recursive, polymorphic and higher-order functional programs – Pedro B. Vasconcelos, Kevin Hammond - 2004
22 Vandermonde Determinant And Lagrange Interpolation In R^s – C. K. Chui, M. J. Lai
21 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
6 Birkhoff Interpolation – G G Lorenz, K Jetter, S D Riemenschneider - 1983
16 Size and Access Inference for Data-Parallel Programs – Siddhartha Chatterjee , Guy E. Blelloch, Allan L. Fisher - 1991
985 A theory of type polymorphism in programming – Robin Milner - 1978
19 Proof of recursive unsolvability of Hilbert’s tenth problem – J P Jones, Y V Matijasevič - 1991
20 Eekelen. Polynomial size analysis of first-order functions – Olha Shkaravska, Ron Van Kesteren, Marko Van Eekelen - 2007