4205 search results - page 226 / 841 » Typed Mobile Objects |
140
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main i...
157
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
174
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
160
click to vote
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
191
click to vote
JOT
2010
15 years 4 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...