流量凸轮

此软件的关键字
zbMATH参考文献(参考
6篇文章
参考)
Ramezanifarkhani,Toktam;Owe,Olaf;Tokas,Shukun:分布式和面向对象系统的保密语言(2018) 巴托莱蒂,马西莫;卡斯特拉尼,伊拉里亚;丹尼埃卢,皮埃尔·马洛;迪扎尼·西卡格里尼,马里安戈拉;吉莱赞,西尔维亚;潘托维奇,乔万卡;佩雷斯,豪尔赫A;蒂曼,彼得;托尼尼奥,贝尔纳多;维埃拉,雨果·托雷斯:将行为类型与安全分析相结合(2015) Buiras,Pablo;Vytiniotis,Dimitrios;Russo,Alejandro:HLIO:Haskell信息流控制的混合静态和动态类型(2015) Daniel Schoepe,Daniel;Hedin,Daniel;Sabelfeld,Andrei:SeLINQ:跨应用程序数据库边界跟踪信息(2014) Broberg,Niklas;van Delft,Bart;Sands,David:信息流控制实用编程的典范(2013) ioport公司 Russo,Alejandro;Sabelfeld,Andrei:在同步的情况下确保线程和调度程序之间的交互(2009)