184
Voted
POPL
15 years 9 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...
156
click to vote
POPL
15 years 9 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...
164
Voted
POPL
15 years 9 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...
156
click to vote
POPL
15 years 9 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