4725 search results - page 29 / 945 » Dependence-Based Program Analysis |
CC
2005
Springer
14 years 1 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
PASTE
1998
ACM
14 years 20 days ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
ESOP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
RE
2002
Springer
13 years 8 months ago
2002
Springer
The relationship between project selection and requirements analysis is important, yet has not received much attention. The decisions made during project selection directly affect...