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

by Christoph A. Herrmann , Christian Lengauer , Universitt Passau
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

25 Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs – P Vasconcelos, K Hammond - 2003
5 Multivariate Birkhoff Interpolation – Rudolf A Lorenz - 1516
23 Vandermonde Determinant And Lagrange Interpolation In R^s – C. K. Chui, M. J. Lai
20 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
16 Size and Access Inference for Data-Parallel Programs – Siddhartha Chatterjee , Guy E. Blelloch, Allan L. Fisher - 1991
130 Static Prediction of Heap Space Usage for First-order Functional Programs – Martin Hofmann, Steffen Jost - 2003
20 Proof of recursive unsolvability of Hilbert’s tenth problem – J P Jones, Y V Matijasevič - 1991
17 Eekelen. Polynomial size analysis of first-order functions – Olha Shkaravska, Ron Van Kesteren, Marko Van Eekelen - 2007
5 AHA Amortized Heap Space Usage Analysis – Marko Van Eekelen, Bart Jacobs, Erik Poll, Sjaak Smetsers - 2005
2 Sized Types. Dissertation for the Licentiate Degree in Computing – Lars Pareto - 1998
39 Max-plus quasi-interpretations – R Amadio
939 A theory of type polymorphism in programming – Robin Milner - 1978
1 AHA: Amortized Heap Space Usage Analysis. NWO project proposal – M van Eekelen, B Jacobs, E Poll, S Smetsers - 2005
2 Sized Types. Chalmers – L Pareto - 1998
1 Moyen J.-Y.: Quasi-interpretations, a way to control resources – G Bonfante, J-Y Marion
4 Sized types – Lars Pareto - 1996
93 Polymorphic type schemes and recursive definitions – A Mycroft - 1984
37 Uniqueness Typing for Functional Languages with Graph Rewriting Semantics – Erik Barendsen, Sjaak Smetsers - 1996
19 OCaml + XDuce – Alain Frisch - 2006