×

Magma2公司

swMATH ID: 28717
软件作者: 佛朗哥·都灵
描述: Magma 2:一种面向控制实验的语言。概述了编程语言Magma 2的设计。该语言为编程新的控制机制并将其封装到适当的模块中提供了便利。控制抽象的一般范式适用于顺序控制制度。该语言是通过一个形式化模型和几个使用示例来表示的。语义模型具有指称风格,可以用来描述具有非常规控制特征的语言的语义。
主页: https://dl.acm.org/citation.cfm?doid=1780.1784网址
关键词: 指称语义学;控制原语;控制抽象;计算代理;控制环境;控制制度
相关软件: MAGMA-部署
引用于: 1文件

1位作者引用

1 佛朗哥·都灵

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文