811 search results - page 109 / 163 » Probabilistic Semantics and Program Analysis |
112
click to vote
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
132
click to vote
OOPSLA
2001
Springer
15 years 2 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
172
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
GD
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...