4107 search results - page 1 / 822 » The Generalized Lambda Test |
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, we generalize the test. The generalized test can be applied towards determining whether there exist data dependences for coupled arrays with both constant and var...
APLAS
2001
ACM
13 years 8 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
BROADNETS
2006
IEEE
13 years 11 months ago
2006
IEEE
—LambdaGrid applications as typified by data-intensive collaborative visualization are likely to be the first users of terabit-level networking. This paper features a main enable...
ICFP
2006
ACM
14 years 4 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
ENTCS
2002
13 years 4 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...