流量凸轮

流量凸轮系统。流Caml系统是Caml语言的信息流分析器的原型实现。它已于2003年7月1日公开宣布。它包含在OCaml的一个扩展中，具有类型系统跟踪信息流。它的目的基本上是允许编写“真实”的程序，并自动检查它们是否遵守某些保密或完整性策略。在flowcaml中，标准ML类型通过在用户可定义的格子中选择的安全级别进行注释。每个注释给出所述表达式可能传达的信息的近似值。由于程序所指定的安全性信息都是由程序所指定的，所以对于程序本身所指定的安全性信息，程序员都没有进行验证。从技术上讲，flowcaml也是第一个真正规模的编程语言实现之一，它配备了一个类型系统，它同时具有子类型、ML多态性和完整类型推理的特点。flowcaml处理OCaml语言的大部分内容，包括数据类型和模式匹配、命令特性（可变对象、异常等）和模块语言。它既可以作为独立的、面向批处理的编译器来生成常规的OCaml代码，也可以用作交互式的、基于顶层的系统。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 6篇文章 参考）

显示结果1到6，共6个。
按年份排序(引用)

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