2565 search results - page 123 / 513 » Object type constructors |
120
click to vote
APLAS
2007
ACM
15 years 6 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...
122
click to vote
FASE
2000
Springer
15 years 5 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...
128
click to vote
CSCW
2004
ACM
15 years 2 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...
142
click to vote
JOT
2010
15 years 20 days 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...
131
click to vote
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
The type of representation used in describing shape can have a significant impact on the effectiveness of a recognition strategy. Shape has been represented by its bounding curve ...