流量凸轮

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

此软件的关键字

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

zbMATH中的参考文献（参考文献6条)

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

  1. 托克塔姆拉梅扎尼法尔哈尼；欠你，奥拉夫；Tokas，Shukun:分布式和面向对象系统的保密语言（2018）
  2. 巴托莱蒂，马西莫；卡斯特拉尼，伊利亚；丹尼·卢，皮埃尔·马洛；迪扎尼-西亚卡格里尼，马里安戈拉；吉莱赞，西尔维亚；潘托维奇，约万卡；佩雷斯，豪尔赫A。；蒂曼，彼得；托尼尼奥，贝尔纳多；维埃拉，雨果·托雷斯：将行为类型与安全分析相结合（2015）
  3. 巴勃罗，布伊拉斯；葡萄球菌炎；Russo，Alejandro:HLIO:Haskell信息流控制的混合静态和动态类型（2015）
  4. 舍普，丹尼尔；何丁，但以理；Sabelfeld，Andrei:SeLINQ:跨应用程序数据库边界跟踪信息（2014）
  5. 布罗伯格，尼克拉斯；范代尔夫特，巴特；Sands，David:信息流控制实用编程典范（2013）ioport公司
  6. 鲁索，亚历杭德罗；Sabelfeld，Andrei：在同步的情况下确保线程和调度程序之间的交互（2009）