289
Voted
POPL
16 years 2 months ago
2006 ACM  239
Voted
POPL
16 years 2 months ago
2006 ACM 
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
227
Voted
POPL
16 years 2 months ago
2006 ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
224
Voted
POPL
16 years 2 months ago
2006 ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
225
Voted
POPL
16 years 2 months ago
2006 ACM 
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
|
Programming Languages