5671 search results - page 1096 / 1135 » A Semantic Approach to Interpolation |
169
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present the design of ViVA, a visual vocabulary for aphasia. Aphasia is an acquired language disorder that causes variability of impairments affecting individual...
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
169
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
191
click to vote
POPL
2006
ACM
15 years 10 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...