12084 search results - page 331 / 2417 » Effect Systems with Subtyping |
184
Voted
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present the notion of a type-safe disk (TSD). Unlike a traditional disk system, a TSD is aware of the pointer relationships between disk blocks that are imposed by higher layer...
221
click to vote
SOFTVIS
2010
ACM
15 years 7 months ago
2010
ACM
There are few visualization techniques for displaying complex software systems with large numbers of packages and classes. One visualization technique is the System Hotspots View,...
228
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
167
Voted
ICECCS
2000
IEEE
15 years 12 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
182
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Evaluators who examine the same system using the same usability evaluation method tend to report substantially different sets of problems. This so-called evaluator effect means th...