1411 search results - page 177 / 283 » A Value Analysis for C Programs |
129
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
153
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
122
click to vote
ECOOP
1998
Springer
15 years 9 months ago
1998
Springer
Wrappers are mechanisms for introducing new behavior that is executed before and/or after, and perhaps even in lieu of, an existing method. This paper examines several ways to impl...
159
click to vote
ISCA
1991
IEEE
15 years 8 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
137
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Mapping computations written in high-level programming languages to FPGA-based computing engines requires programmers to generate the datapath responsible for the core of the comp...