Talk:How is Aliasing Used in Systems Software

From GradTurkey

[edit] Measurements

In the introduction, the authors state that they only required 192 annotations for 1094 KLOC. This seems like an odd statistic to me, because they earlier mention 10% of user-defined types being aliased. Wouldn't the number of annotations per user-defined type be also pertinent. In fact, from the rest of the paper we see that some aliasing are part of the data structure (object invariants), and some aliasing is from code patterns (eg, cursors). A breakdown of the annotations into each of the 8 aliasing patterns they found seems like it might be helpful in showing how common each pattern is.

--BoAdler 21:53, 17 April 2006 (PDT)