×
尼基尔·斯瓦米；陈，胡安；塞德里克·Fornet；Pierre-Yves支柱；卡尔蒂基扬·巴尔干；杨吉恩

使用值相关类型保护分布式编程。 （英语） Zbl 1323.68229号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN通知46，第9号，266-278（2011）。

引用于14文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68甲15 编程语言理论
68甲19 其他编程范式（面向对象、顺序、并发、自动等）

关键词：

细化类型；安全类型

软件：

F类*；AURA公司；z3（零3）；奥特；Coq公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Swamy}等人，in：第16届ACM SIGPLAN函数式编程国际会议论文集，2011年9月19日至21日，日本东京。纽约州纽约市：计算机协会（ACM）。266--278（2011年；Zbl 1323.68229）
全文： 内政部 哈尔