7 search results - page 1 / 2 » The Second Futamura Projection for Type-Directed Partial Eva... |
PEPM
2000
ACM
13 years 8 months ago
2000
ACM
ICCL
1998
IEEE
13 years 8 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
CVIU
2004
13 years 4 months ago
2004
This paper describes a method to identify partially occluded shapes which are randomly oriented in 3D space. The goal is to match the object contour present in an image with an ob...
PEPM
1994
ACM
13 years 8 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
IPPS
2003
IEEE
13 years 9 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...