×
阿泽夫多·阿莫林；内森·柯林斯；安德烈·德洪；德尔芬·德曼吉；Hriţcu，科特林；大卫·皮哈迪；本杰明·皮尔斯。；兰迪·波拉克；安德鲁·托尔马赫

经过验证的信息流体系结构。 （英语） Zbl 1284.68306号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。165-178 (2014).

引用于7文件

MSC公司：

68问题30 算法信息理论（Kolmogorov复杂性等）
68问题55 计算理论中的语义学
68N25号 操作系统理论

关键词：

清洁板设计；形式验证；信息流控制；精细化；安全；标记的体系结构
PDF格式BibTeX公司 XML格式引用
\textit{A.Azevedo de Amorim}等人，摘自：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。165--178（2014年；Zbl 1284.68306）
全文： 内政部 arXiv公司