maude - 云端在线

程序：

您的姓名

Maude - 一个高性能的逻辑框架

概要

莫德 [选项[档]

商品描述

本手册页简要记录了 莫德 口译员。 这个手册页是写的
对于 Debian 发行版，因为原始程序没有手册页。

莫德 是一种高性能的反射语言和系统，支持等式和
为广泛的应用程序重写逻辑规范和编程。 莫德 具有
受到了 OBJ3 语言的重要影响，可以看作是
等式逻辑子语言。 除了支持方程规范和编程，
莫德 还支持重写逻辑计算。

重写逻辑是并发变化的逻辑，可以自然地处理状态和
与并发计算。 它具有作为通用语义框架的良好特性
为各种语言和并发模型提供可执行语义。 在
特别是，它支持非常好的并发面向对象计算。 同样的原因
使重写逻辑成为一个很好的语义框架使它也是一个很好的逻辑框架，
也就是说，可以自然地表示和执行许多其他逻辑的元逻辑。

莫德 以系统有效的方式支持逻辑反思。 这使得 莫德
非常可扩展且功能强大，支持模块组合的可扩展代数
操作，并允许许多高级元编程和元语言应用程序。
事实上，一些最有趣的应用 莫德 是元语言应用程序，
在其中 莫德 用于为不同的逻辑创建可执行环境，定理
证明者、语言和计算模型。

- 帮帮我 显示帮助信息

- 版
显示版本号

-没有前奏
不要在标准前奏中阅读

-无横幅
启动时不输出横幅

-没有建议
启动时无提示

-无混合修复
不要对输出使用 mixfix 表示法

-无包装
不要为输出自动换行

-ansi色
使用 ANSI 控制序列

-无ansi-color
不要使用 ANSI 控制序列

-特克拉 使用 tecla 命令行编辑

-无技术
不要使用 tecla 命令行编辑

-批 以批处理模式运行

-交互的
以交互模式运行

-随机种子=
为随机数生成器设置种子

-xml-日志=
设置生成 xml 日志的文件

版权

版权所有 (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA。

版权所有 (c) 1997 - 2002，Makoto Matsumoto 和 Takuji Nishimura，

版权所有 (c) 2000 - 2003，Richard J. Wagner

REPORTING BUGS

将错误报告发送至： [电子邮件保护]

使用 onworks.net 服务在线使用 maude