6 放宽 Widening

在第5章中介绍的单调框架方法的一个主要限制是要求格具有有限的高度。在本章中，我们描述了一种称为放宽（widening）的技术，它克服了这个限制（以及一种相关的称为收缩-narrowing的技术），这些技术是由Cousot和Cousot引入的。