×

变压器语义

swMATH ID: 42013
软件作者: 乔治·斯特鲁斯
描述: afp Transformer_Semantics:Transformer语义。这些数学组件使程序的谓词转换器语义形式化,但目前仅用于部分正确性和无错误情况。同构(或单调)、Sup保持和Inf保持变换器的第一部分遵循Back和von Wright的方法,并进一步强调变换器代数的量子结构。第二部分从幂集单子体出发,通过其Kleisli范畴和Eilenberg-Moore代数,发展了Sup-preserving和Inf-preserving谓词变换器,重点讨论了附加和对偶,以及关系、状态变换器和谓词变换之间的同构。
主页: https://www.isa-afp.org/entries/Transformer_Semantics.html
依赖项: 伊莎贝尔
相关软件: 贝勒罗芬;存档正式证据;Quantales公司;凯伊迈拉X;差异_游戏_逻辑;KAD公司;代数_VC;克莱纳代数;常微分方程;科奎利科;C-CoRN公司;罗德斯;凯伊迈拉;伊莎贝尔/HOL
引用于: 1文件

连载1篇

1 自动推理杂志

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文