624 search results - page 10 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
ADBIS
2006
Springer
14 years 1 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...
COMPSAC
1999
IEEE
13 years 12 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...
SAS
2004
Springer
14 years 29 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations 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...
BIRTHDAY
2003
Springer
14 years 25 days 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...