Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
复制标题
构造正确并发性：使用依赖类型来验证有效资源使用协议的实现
DOI：
10.3233/fi-2010-303
复制
发表时间：
2010
影响因子：
0.8
通讯作者：
Brady E
中科院分区：
文献类型：
--
作者：
Brady E
登录
查看更多内容
DOI：
--
发表时间：
1997
期刊：
Sensors Applications Symposium
影响因子：
--
作者：
Atsushi Igarashi;N. Kobayashi
通讯作者：
N. Kobayashi
警句：依赖类型的实用编程
DOI：
--
发表时间：
2004
期刊：
Advanced Functional Programming
影响因子：
--
作者：
Conor McBride
通讯作者：
Conor McBride
DOI：
10.1145/1481861.1481872
发表时间：
2009
期刊：
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Aleksandar Nanevski;Paul Govereau;Greg Morrisett
通讯作者：
Greg Morrisett
构建的正确性：更好也可以更便宜
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
Peter Amey
通讯作者：
Peter Amey
一种资源协议验证类型系统及其正确性证明
DOI：
--
发表时间：
2004
期刊：
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
影响因子：
--
作者：
C. Popeea;W. Chin
通讯作者：
W. Chin