×
贾利民;杰弗里·沃恩。;卡尔·马祖拉克;赵建洲;卢克·扎尔科;约瑟夫·肖尔;史蒂夫·兹丹塞维奇

AURA：用于授权和审计的编程语言。 （英语） Zbl 1323.68078号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN Notices 43，No.9，27-38（2008）。

引用于6文件

MSC公司：

68甲15 编程语言理论
68甲18 函数编程和lambda演算
68问题55 计算理论中的语义学

关键词：

访问控制;审计;授权逻辑;类型系统

软件：

AURA公司;卡宴;Coq公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Jia}等人，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。27-38（2008；Zbl 1323.68078）
全文： 内政部