×

鬣狗

swMATH标识: 39405
软件作者: 冈查罗夫,谢尔盖;内维斯,雷纳托;普罗恩萨,何塞
说明: 实现混合语义:从功能到命令。混合程序将数字控制与微分方程相结合,自然而然地出现在从生物学、控制理论到实时软件工程的广泛应用领域。这种程序固有的离散和连续行为的纠缠超出了既定的计算机科学基础,产生了一些挑战,例如无限迭代和混合行为与其他效应的结合。最近出现了一种将杂交作为一种专门的计算效应的系统处理方法。特别提出了一种通用的理想化函数语言HybCore,它具有良好的操作语义。然而,后一种语义并没有提供将HybCore作为一种可运行的语言来实现的提示,这种语言适合于混合系统仿真(例如,语义特征规则具有不可数的前提条件)。我们介绍了HybCore的一个命令式对应物,它的语义更简单、可运行,但与HybCore在混合单体层次上的语义密切相关。然后我们建立了相应的可靠性和充分性定理。为了证明所得到的语义可以作为实现面向混合领域的典型编程工具的坚实基础,我们根据Haskell的GHCi和OCaml的UTop提出了一个基于web的原型实现来评估和检查混合程序。我们实现的主要优点是它正式地遵循操作语义规则
主页: https://arxiv.org/abs/2009.14322
相关软件: 解释方式;乌托普;德拉赫;OCaml公司;莫代利卡;哈斯克尔;圣哲
引用于: 1个出版物

在0系列中引用

按年份列出的引文