2940 search results - page 19 / 588 » Relational Parametricity and Control |
IWMM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
PAMI
1998
14 years 9 months ago
1998
—As an object moves through the field of view of a camera, the images of the object may change dramatically. This is not simply due to the translation of the object across the im...
ISW
2007
Springer
15 years 3 months ago
2007
Springer
CAGD
2006
14 years 9 months ago
2006
We show that many rational parametric curves can be interpolated, in a Hermite sense, by polynomial curves whose degree, relative to the number of data being interpolated, is lowe...