contification paper

Matthew Fluet fluet@CS.Cornell.EDU
Sun, 11 Mar 2001 16:28:45 -0500 (EST)


> 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.

Sounds fine to me.