3926 search results - page 8 / 786 » A Logic of Object-Oriented Programs |
COMPASS
1994
13 years 11 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
TOOLS
2011
IEEE
12 years 11 months ago
2011
IEEE
ECOOP
1998
Springer
13 years 12 months ago
1998
Springer
Aliasing is endemic in object oriented programming. Because an object can be modified via any alias, object oriented programs are hard to understand, maintain, and analyse. Flexibl...
ECOOP
1999
Springer
13 years 12 months ago
1999
Springer
