3056 search results - page 212 / 612 » Compiling Embedded Languages |
73
Voted
PLDI
2000
ACM
15 years 3 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
ENTCS
2007
14 years 11 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
101
Voted
HPDC
2000
IEEE
15 years 3 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
105
Voted
POS
1994
Springer
15 years 3 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
85
Voted
IWFM
1998
15 years 7 days ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...