4355 search results - page 174 / 871 » From Interpretation to Compilation |
130
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
122
click to vote
LREC
2008
15 years 5 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
127
click to vote
USENIX
1996
15 years 5 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...
124
click to vote
AIPR
2004
IEEE
15 years 8 months ago
2004
IEEE
The motion imagery community would benefit from the availability of standard measures for assessing image interpretability. The National Imagery Interpretability Rating Scale (NII...
258
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...