惰性命令式时序理论
编程语言
2018-10-24 v1
摘要
我们提出一种惰性命令式时序的理论。
引用
@article{arxiv.1810.09610,
title = {A Theory of Lazy Imperative Timing},
author = {Eric C. R. Hehner},
journal= {arXiv preprint arXiv:1810.09610},
year = {2018}
}
备注
In Proceedings Refine 2018, arXiv:1810.08739