2596 search results - page 210 / 520 » Gradual Typing for Objects |
108
click to vote
TKDE
2002
15 years 4 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
133
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...
147
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
146
click to vote
WWW
2009
ACM
15 years 11 months ago
2009
ACM
: This talk describes a research project exploring new ways for augmenting search using multiple types and sources of social information. Our goal is to allow searching for all obj...
215
click to vote
DAPSYS
2004
Springer
15 years 9 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...