《Z形式规约切片的研究》

本书充分利用已有的程序切片和依赖性分析技术，结合国内外在形式规约切片及其应用方面的最新研究动态，在Z形式规约切片及其应用方面展开研究工作。 本书共八章，分成四大部分：第一部分为第1章，是全书的一个概述；第二部分包括第2～5章，主要研究了Z形式规约切片技术；第三部分包括第6～7章，主要研究了Z形式规约切片的应用；第四部分为第8章，是对全书的结论。 本书研究的目的是通过对形式规约切片原理的研究，一定程度上解决形式规约切片及其在提升和度量应用等方面存在的问题，提出基于依赖性分析的Z形式规约切片和基于关系演算的Z形式规约切片，并在此基础上把Z形式规约切片应用到提升、定理证明和度量上。