The Flow Caml System (version 1.00): Documentation and user's manual
Vincent Simonet
July, 2003

Part I
An introduction to Flow Caml

• Overview
  • Language-based Information Flow Analysis
  • Relating Flow Caml to Objective Caml
  • How to get the Flow Caml system ?
  • Theoretical background and related work
• A Tutorial
  • Security levels and data structures
  • Constrained type schemes
  • Imperative features
  • Dealing with exceptions
  • Defining new types
  • Interacting with the outside world
  • The module language
  • Standalone programs
  • A complete example

Part II
Reference manual

• The Flow Caml language
  • Lexical conventions
  • The core language
  • The module language
• Tools
  • The interactive toplevel (flowcaml)
  • The batch compiler (flowcamlc)
  • The security policy displayer (flowcamlpol)
  • The dependency generator (flowcamldep)
• The Flow Caml library

Appendix

• References

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.