110 search results - page 2 / 22 » Self-Referencing Languages Revisited |
ESOP
2012
Springer
12 years 1 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
ACL
2012
11 years 7 months ago
2012
Due to Arabic’s morphological complexity, Arabic retrieval benefits greatly from morphological analysis – particularly stemming. However, the best known stemming does not hand...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
The social and economic importance of large bodies of programs and data that are potentially long-lived has attracted much attention in the commercial and research communities. Her...
FUIN
2010
13 years 6 days ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
SIGIR
2012
ACM
11 years 7 months ago
2012
ACM
We present a novel interpretation of Clarity [5], a widely used query performance predictor. While Clarity is commonly described as a measure of the “distance” between the lan...