4722 search results - page 358 / 945 » Representation-independent program analysis |
175
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
148
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
We have been handling video with supplementary documents, such as cooking programs, and are working on integration of such media. Through the integration, many applications will b...
162
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
316
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
185
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract Deciding which computer architecture provides the best performance for a certain program is an important problem in hardware design and benchmarking. While previous approa...