contification paper

Stephen Weeks MLton@sourcelight.com
Sun, 11 Mar 2001 12:57:12 -0800 (PST)


Any objection to changing the term "minimal" to "maximal" for the notion of an
analysis that labels the most functions as known.  I guess we called it minimal
because it labeled the fewest as unknown.