巴纳赫，R。；Jeske，C。 更强的裁员成分。 （英语） 兹比尔1209.68131 J.日志。阿尔盖布。程序。 79，No.3-5，215-232（2010）. 总结：注意到通常基于“命题”的紧缩组合方式可能会产生许多“垃圾”案例，因此引入了在这方面表现更好的替代组合方法（通过整洁、整洁和挑剔紧缩的概念）。然而，这些备选方案确实使其他问题（如关联性）变得更加困难。本节提供了收缩的垂直组成（即连续收缩步骤的组成）的技术细节。 引用于三文件 MSC公司： 68N99型 软件理论 关键词：紧缩；作文；结合性 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske}，J.Log。阿尔盖布。程序。79，编号3--5，215--232（2010；Zbl 1209.68131） 全文： DOI程序 参考文献： [1] Banach，R.，《正则关系和二元平方》，理论。计算。科学。，129, 187-192 (1994) ·Zbl 0802.18004号 [2] Banach，R.，《软件设计中的规律性》，科学。计算。掠夺。，24, 221-248 (1995) ·Zbl 0832.68032号 [3] R.Banach，基于模型的精化和精简设计，提交出版。；R.Banach，基于模型的细化和精简设计，提交出版。 [4] R.Banach，C.Jeske，《紧缩与精化相互作用：塔式定理》，提交出版。；R.Banach，C.Jeske，《紧缩与精化相互作用：塔式定理》，提交出版·Zbl 1361.68056号 [5] R.Banach，C.Jeske，《通过紧缩实现简单特征工程》，提交出版。；R.Banach，C.Jeske，《通过紧缩实现简单特征工程》，提交出版·Zbl 1231.68106号 [6] 巴纳赫，R。；波普尔顿，M。；杰斯克，C。；Stepney，S.，《缩紧钱包：有限序列号和塔型》，（菲茨杰拉德；海耶斯；塔莱基，Proc.FM-05。程序。FM-05，LNCS，第3582卷（2005），施普林格），382-398·Zbl 1120.68406号 [7] 巴纳赫，R。；杰斯克，C。；Poppleton，M.，《紧缩的组成机制》，J.Log。藻类。掠夺。，75, 209-229 (2008) ·Zbl 1137.68037号 [8] 巴纳赫，R。；波普尔顿，M。；杰斯克，C。；Stepney，S.，《紧缩的工程和理论基础》，科学。计算。掠夺。，67, 301-329 (2007) ·Zbl 1119.68348号 [9] Derrick，J。；Boiten，E.，（Z）和Object-\（Z）中的精化，基础和高级应用。FACIT（2001），斯普林格·Zbl 0982.68086号 [10] 德罗弗，W.-P。；Engelhardt，K.，《数据精化：面向模型的证明方法及其比较》（1998），剑桥大学出版社·Zbl 0955.68076号 [11] C.Jeske，收缩与精化的代数集成，曼彻斯特大学计算机科学学院博士论文，2005年。；C.Jeske，收缩与精化的代数集成，曼彻斯特大学计算机科学学院博士论文，2005年。 [12] 收缩主页<网址：http://www.cs.man.ac.uk/\（\operatorname{\sim；}\）banach/retrenchment>。；再培训主页<网址：http://www.cs.man.ac.uk/\（\operatorname{\sim；}\）banach/retrenchment>。 [13] 施密特，G。；Ströhlhein，T.，关系与图，计算机科学家离散数学（1993），Springer·Zbl 0900.68328号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。