计算效应的装饰证明：状态
编程语言
2012-09-10 v3 计算机科学中的逻辑
范畴论
摘要
命令式语言的语法并不显式提及状态，而其指称语义却必须提及状态。本文中，我们展示了关于命令式语言的等式证明可以隐藏状态，正如语法所做的那样。
引用
@article{arxiv.1112.2396,
title = {Decorated proofs for computational effects: States},
author = {Jean-Guillaume Dumas and Dominique Duval and Laurent Fousse and Jean-Claude Reynaud},
journal= {arXiv preprint arXiv:1112.2396},
year = {2012}
}
备注
In Proceedings ACCAT 2012, arXiv:1208.4301