6829 search results - page 235 / 1366 » Quantitative Generalizations of Languages |
152
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit...
205
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
192
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
180
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
The selection of indexing terms for representing documents is a key decision that limits how effective subsequent retrieval can be. Often stemming algorithms are used to normaliz...
250
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...