进展 swMATH ID: 2905 软件作者： 曼弗雷德·穆奇；安迪·舒尔（Andy Schürr）；安德烈亚斯·温特。 描述： 多参数语言PROGRES中的完整性约束。PROGRES是一种多参数可视化编程或可执行规范语言，具有定义良好的静态类型概念。它支持使用图形重写系统进行编程。集成的类型检查器能够检查规范的静态语义。本文将静态完整性约束集成到语言中，以便在运行时检查规范的语义。它讨论了许多重要的设计决策，例如何时必须检查约束，以及如果检测到约束冲突会发生什么。 主页： http://de.wikipedia.org/wiki/Progres 关键词： 规格；图的重写；打字机；静态语义；静态完整性约束；图形变换；程序设计语言 相关软件： AGG公司；富贾巴语；威特拉2；图形转换基准；GrGen公司；迭戈；GXL公司；沟槽；自旋蛋白；DiaGen公司；A至M3；莫弗隆；莫夫隆；VPM公司；DACTL公司；虚拟UML；PORGY公司；第2组；CatLib（目录库）；REforDI公司 引用于： 52文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 多参数语言PROGRES中的完整性约束。 Zbl 0971.68611号曼弗雷德·穆奇；安迪·舒尔；安德烈亚斯·温特。 2000 全部的 前5名88位作者引用 7 安迪·舒尔 5 瑞科·赫克尔 5 丰满，细节 5 达尼尔·瓦罗 4 哈特穆特·埃里格 4 伯特霍尔德·霍夫曼 4 安德烈亚斯·温特 三 格雷戈·恩格斯 三 赫莱内·基什内尔 三 马克·米纳斯 三 加布里埃尔·坦泽尔 三 伯恩哈德·韦斯特费赫特尔 2 罗西娅·巴多尔 2 海科·多尔 2 法兰克·德雷维斯 2 玛丽贝尔·费尔南德斯 2 阿内格丽特·哈贝尔 2 加博尔·卡赛 2 萨宾·库斯克 2 费尔南多·奥雷贾斯 2 安德拉斯·帕塔里察 2 施耐德，汉斯·尤根 2 玛尔塔·西蒙 1 马克·安德烈 1 阿格内斯·阿诺德 1 安德拉斯·巴洛夫 1 卢西亚诺·巴雷西 1 格诺·维特·巴茨 1 哈基姆·贝哈瓦里 1 托马斯·贝雷特 1 戈博尔·伯格曼 1 恩里科·比尔曼 1 保罗·波托尼 1 H.J.Sander，布鲁金克 1 安德烈亚·科拉迪尼 1 克雷默，卡加 1 胡安·德·拉腊 1 Derichswiler，弗兰克 1 弗朗西斯科·杜兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 卡斯滕·埃里格 1 克劳迪娅·埃尔梅尔 1 鲁宾诺·盖伊 1 乌尔里克·戈拉斯 1 马丁·格罗·罗德 1 丹尼尔·格兰德 1 塞巴斯蒂安·哈克 1 理查德·霍尔特。 1 阿尔科斯·霍瓦思 1 德克·詹森 1 沃尔夫拉姆·卡尔 1 巴巴拉·科尼格 1 卡尔·阿恩特·克拉普 1 汉斯·约尔格·克鲁斯基 1 克吕佩尔（Sven Krüppel） 1 盖扎·库尔斯阿尔 1 伯恩特·库尔巴赫 1 帕斯卡尔·勒加尔 1 拉贝尔，梅塞 1 马耳他州洛豪 1 格雷格·曼宁 1 安德烈·马伯格 1 玛琳·马特耶卡 1 彼得·麦克布莱恩 1 安东尼奥·莫雷诺·德尔加多 1 曼弗雷德·穆奇 1 奥利维尔·纳特 1 阿南塔·纳拉亚南 1 丹尼斯·诺尔特 1 弗朗西斯科·帕里西·普雷西奇 1 罗曼·帕斯夸尔 1 多丽娜·佩特里乌（Dorina C.Petriu）。 1 布鲁诺·皮诺 1 乌尔里克·普兰奇 1 普罗斯特、弗雷德里克 1 伊斯坦·拉思 1 沃尔克里迪格 1 托拜厄斯·罗切克 1 斯特凡·索尔 1 安斯加·施莱彻 1 苏珊·埃利奥特（Susan Elliott Sim） 1 桑德拉·斯坦纳特 1 拉尔斯·斯托尔特诺 1 亚当·萨勒科夫斯基 1 格格利·瓦罗 1 王欣 1 斯泰芬·兹夏勒 全部的 前5名9连载 5 计算机程序设计科学 三 计算机科学课堂讲稿 2 计算机与系统科学杂志 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 2 软件维护与进化杂志。研究与实践 2 程序设计中的逻辑和代数方法杂志 1 计算机基础理论 1 通用计算机科学杂志 在5个字段中引用 52 计算机科学（68至XX） 三 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文