基尔 swMATH ID: 29844 软件作者： 鲁道夫·伯格哈默；米兰大学 描述： KIEL-可视化功能程序执行的计算机系统。定义函数程序的操作语义的一种非常显著的方法（特别适合初学者）是使用计算序列。计算序列的元素是一个接一个由替换和简化产生的表达式。替换对应于例程调用，或者更确切地说，对应于计算规则的应用。这样的规则决定了哪些调用必须由主体替换，在每种情况下，主体中的形式参数都被参数替换。例如，在没有模式的例程的经典情况下，完全替换规则表示所有调用都会被同时替换，最左边最外面的规则表示，在所有不作为其他调用的参数出现的调用中，只有最左边的调用必须被替换，最左边-最里面的规则是，从所有调用中，只有最左边的调用可以被替换；参见示例[4]。如果在例程声明中允许模式，那么计算规则会稍微复杂一些。简化执行预定义数据类型的操作并计算条件。 主页： http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.24.142 相关软件： GeoWin公司；FAUST公司；凯特林；探戈；动物；帕瓦内；佐治亚州；缪斯；EVEGA公司；JCAT公司；波尔卡；JFLAP公司；游行；阿拉丁；爪哇；有线电视盒；MacBALSA公司；西亚莫阿；尽职调查；艾略特 引用于： 2文件 3位作者引用 1 斯蒂芬·迪尔 1 安德烈亚斯·凯伦 1 约翰·T·斯塔斯科。 连载1篇 1 计算机科学课堂讲稿 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文