2565 search results - page 57 / 513 » Object type constructors |
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
ENTCS
2002
13 years 8 months ago
2002
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
SIGGRAPH
1996
ACM
14 years 1 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
ECOOP
2012
Springer
11 years 11 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
OTM
2004
Springer
14 years 2 months ago
2004
Springer
This paper investigates basic research issues that need to be addressed in order to reuse learning objects in a flexible way. We propose an ontology based approach. Our ontology f...