3056 search results - page 332 / 612 » Compiling Embedded Languages |
111
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
140
click to vote
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
140
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
121
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
110
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...