4386 search results - page 552 / 878 » A Tamper-Resistant Programming Language System |
154
click to vote
ASPLOS
1992
ACM
15 years 8 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
142
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
124
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...
105
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
128
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...