托马斯·奥斯汀。;科马克·弗拉纳根 动态信息流的多个方面。 （英语） Zbl 1321.68034号 2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-1083-3）。165-178 (2012). 引用于5文件 MSC公司： 68英里11 互联网主题 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：动力学分析;信息流控制;JavaScript脚本;web安全 软件：ZaphodFacetes公司;水仙花;Jif公司;JavaScript脚本 PDF格式BibTeX公司 XML格式引用 \textit{T.H.Austin}和\textit{C.Flanagan}，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。165--178（2012；Zbl 1321.68034） 全文： 内政部 链接