15 search results - page 1 / 3 » Universe Types for Topology and Encapsulation |
FMCO
2007
Springer
13 years 11 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
ECOOP
2012
Springer
11 years 7 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
VLDB
1999
ACM
13 years 9 months ago
1999
ACM
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
IMR
2004
Springer
13 years 10 months ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
VISUALIZATION
2005
IEEE
13 years 10 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...