179 search results - page 6 / 36 » Lazy Evaluation for OCL |
111
click to vote
ICFP
2007
ACM
16 years 9 days ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
198
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
109
Voted
SIGGRAPH
1999
ACM
15 years 4 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
107
Voted
PPDP
2000
Springer
15 years 3 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...