11909 search results - page 448 / 2382 » The Scheme Programming Language |
227
Voted
PADL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
163
Voted
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
332
click to vote
POPL
2005
ACM
16 years 8 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
176
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
239
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Power consumption and DRAM latencies are serious concerns in modern chip-multiprocessor (CMP or multi-core) based compute systems. The management of the DRAM row buffer can signif...