3688 search results - page 150 / 738 » Static analysis of aspects |
164
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
173
click to vote
PLDI
1993
ACM
15 years 10 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
169
click to vote
ISCA
1995
IEEE
15 years 9 months ago
1995
IEEE
Modern high-performance architectures require extremely accurate branch prediction to overcome the performance limitations of conditional branches. We present a framework that cat...
173
click to vote
IVC
2008
15 years 6 months ago
2008
Complex scenes such as underground stations and malls are composed of static occlusion structures such as walls, entrances, columns, turnstiles and barriers. Unless this occlusion...
159
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Quality and economical aspects of software development are strictly related. Adaptability, as a feature of quality, fosters reuse and the resulting economies of scale. Domain anal...