迷你枫木 swMATH ID: 19945 软件作者： 穆罕默德·泰穆尔·汗；沃尔夫冈·施赖纳 描述： 关于Maple程序的正式规范。本文是基于示例的演示，展示了我们对用计算机代数语言MiniMaple（Maple的一个重要子集，具有轻微扩展）编写的程序的形式规范的初步结果。这项工作的主要目标是为MiniMaple定义一个验证框架。MiniMaple程序的形式化规范是一项相当复杂的任务，因为它支持非标准类型的对象，例如符号和未赋值的表达式，以及其他函数和谓词，例如运行时类型测试等。我们使用规范语言来指定各种计算机代数概念，以及我们研究所开发的Maple包DifferenceDifferential的各个对象。 主页： https://www.risc.jku.at/people/mtkhan/dk10/software.html 相关软件： Why3号机组；枫树；差异DifferenceDifferential；规格#；米兰达；落叶松 引用于： 2文件 2位作者引用 2 穆罕默德·泰穆尔·汗 2 沃尔夫冈·施赖纳 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文