101 search results - page 7 / 21 » Type-Based Alias Analysis |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
SAS
2001
Springer
14 years 23 hour ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
TSP
2008
13 years 7 months ago
2008
To overcome the limitations of a conventional fullband adaptive filtering, various subband adaptive filtering (SAF) structures have been proposed. Properly designed, an SAF will co...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...