1154 search results - page 113 / 231 » Implementing Typed Intermediate Languages |
163
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
159
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
172
click to vote
TPHOL
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
165
click to vote
IFL
2004
Springer
15 years 11 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
181
click to vote
ASPLOS
1992
ACM
15 years 10 months ago
1992
ACM
Software-controlled data prefetching is a promising technique for improving the performance of the memory subsystem to match today's high-performance processors. While prefet...