Sciweavers

2520 search results - page 16 / 504
» Alias Types and Effects for
Sort
View
CN
1998
96views more  CN 1998»
13 years 8 months ago
Effective Personalization of Push-Type Systems - Visualizing Information Freshness
Hidekazu Sakagami, Tomonari Kamba, Atsushi Sugiura...
AEOG
2011
143views more  AEOG 2011»
12 years 8 months ago
Analyzing the effects of scale and land use pattern metrics on land use database generalization indices
The generalization index system is one of the critical issues for computer-aided land use database generalization. This paper studies the scale and land use pattern effects on lan...
Yaolin Liu, Limin Jiao, Yanfang Liu
ECOOP
2004
Springer
14 years 1 months ago
Ownership Domains: Separating Aliasing Policy from Mechanism
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in objectoriented languages. However, previous ownership type ...
Jonathan Aldrich, Craig Chambers
POPL
2009
ACM
14 years 9 months ago
Flexible types: robust type inference for first-class polymorphism
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
Daan Leijen
PLDI
2011
ACM
12 years 11 months ago
EnerJ: approximate data types for safe and general low-power computation
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
Adrian Sampson, Werner Dietl, Emily Fortuna, Danus...