|
22
|
Vandermonde Determinant And Lagrange Interpolation In R^s
– C. K. Chui, M. J. Lai
|
|
6
|
Multivariate Birkhoff Interpolation
– Rudolf A Lorenz
- 1516
|
|
22
|
Shape Checking of Array Programs
– C. Barry Jay, Milan Sekanina
- 1997
|
|
112
|
Static Prediction of Heap Space Usage for First-order Functional Programs
– Martin Hofmann, Steffen Jost
- 2003
|
|
16
|
Size and Access Inference for Data-Parallel Programs
– Siddhartha Chatterjee , Guy E. Blelloch, Allan L. Fisher
- 1991
|
|
25
|
Inferring cost equations for recursive, polymorphic and higher-order functional programs
– Vasconcelos PB, K Hammond
- 2003
|
|
19
|
On Recursive Unsolvability of Hilbert’s Tenth Problem,” Logic, Methodology and
– Yuri V Matiyasevich
- 1971
|
|
19
|
Eekelen. Polynomial size analysis of first-order functions
– Olha Shkaravska, Ron Van Kesteren, Marko Van Eekelen
- 2007
|
|
3
|
Sized Types. Dissertation for the Licentiate Degree in Computing
– Lars Pareto
- 1998
|
|
35
|
Synthesis of max-plus quasi-interpretations
– R M Amadio
- 2005
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
6
|
AHA Amortized Heap Space Usage Analysis
– Marko Van Eekelen, Bart Jacobs, Erik Poll, Sjaak Smetsers
- 2005
|
|
60
|
Bounded linear logic: a modular approach to polynomial-time computability
– Jean-Yves Girard, Andre Scedrov, Phillip Scott
- 1992
|
|
12
|
Sjaak Smetsers. Uniqueness typing for functional languages with graph rewriting semantics
– Erik Barendsen
- 1996
|
|
9
|
Mobile Resource Guarantees and Policies
– David Aspinall, Kenneth Mackenzie
- 2005
|
|
22
|
Automated complexity analysis of Nuprl extracted programs
– Ralph Benzinger
- 2001
|
|
3
|
Resource analysis by sup-interpretations. Functional and LOgic
– Jean-Yves Marion, Romain Pechoux
|
|
4
|
Simona Ronchi Della Rocca. A Logical Account of PSPACE
– Marco Gaboardi, Jean-Yves Marion
|
|
4
|
Jean-Yves Moyen. Quasi-interpretations, a way to control resources
– Guillaume Bonfante, Jean-Yves Marion
|
