624 search results - page 10 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
140
click to vote
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
143
click to vote
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
125
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
125
click to vote
CC
2005
Springer
15 years 8 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...
127
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...