Magma2公司 swMATH ID: 28717 软件作者: 佛朗哥·都灵 描述: Magma 2:一种面向控制实验的语言。概述了编程语言Magma 2的设计。该语言为编程新的控制机制并将其封装到适当的模块中提供了便利。控制抽象的一般范式适用于顺序控制制度。该语言是通过一个形式化模型和几个使用示例来表示的。语义模型具有指称风格,可以用来描述具有非常规控制特征的语言的语义。 主页: https://dl.acm.org/citation.cfm?doid=1780.1784网址 关键词: 指称语义学;控制原语;控制抽象;计算代理;控制环境;控制制度 相关软件: MAGMA-部署 引用于: 1文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 Magma 2:一种面向控制实验的语言。 Zbl 0542.68012号佛朗哥·都灵 1984 1位作者引用 1 佛朗哥·都灵 连载1篇 1 程序设计语言与系统学报 在1个字段中引用 1 计算机科学(68-XX) 按年份列出的引文