3228 search results - page 106 / 646 » Basics of Compiler Design |
140
click to vote
TPHOL
2007
IEEE
16 years 15 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
196
click to vote
VEE
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
167
click to vote
CF
2010
ACM
15 years 11 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
190
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
170
click to vote
JAVA
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...