17983 search results - page 146 / 3597 » Set Types and Applications |
162
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
158
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
142
click to vote
TLCA
2007
Springer
16 years 16 days ago
2007
Springer
e type system for the lmdElulus enrihed with reurE sive nd oreursive funtions over equiEindutive nd Eoindutive types is presented in whih ll wel...
174
click to vote
PLDI
2005
ACM
16 years 2 hour ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
167
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Identifying the true type of a computer file can be a difficult problem. Previous methods of file type recognition include fixed file extensions, fixed “magic numbers” stored ...