流量凸轮

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