扩展静态检查-一流百科

扩展静态检查

扩展静态检查扩展静态检查（ESC）是计算机科学中对各种程序约束的正确性进行静态检查的一系列技术的总称。ESC可以被认为是类型检查的一种扩展形式。与类型检...