3311 search results - page 134 / 663 » Deductive Object Programming |
POS
1998
Springer
15 years 6 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
TOOLS
1992
IEEE
15 years 5 months ago
1992
IEEE
The notion of location of part objects is introduced, yielding a reference to the containing object. Combined with locally defined objects and classes (block structure), singularl...
116
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
119
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Programs written in managed languages are compiled to a platform-independent intermediate representation, such as Java bytecode. The relative high level of Java bytecode has engen...
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...