200 search results - page 17 / 40 » Modular Reasoning in Object-Oriented Programming |
CSL
2003
Springer
14 years 4 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
AMAST
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
SIGCSE
2000
ACM
14 years 3 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
LOPSTR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
LOPSTR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...