Flow Caml in a Nutshell

@inproceedings{Simonet2003FlowCI,
  title={Flow Caml in a Nutshell},
  author={Vincent Simonet},
  year={2003}
}
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks information flow within Flow Caml programs, then translates them to regular Objective Caml code that can be compiled by the ordinary compiler to produce secure programs. In this paper, we give a short overview of this system, from a practical viewpoint. 
Highly Cited
This paper has 101 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
73 Citations
9 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 73 extracted citations

102 Citations

01020'06'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Dalton, an efficient implementation of type inference with structural subtyping

  • Vincent Simonet
  • 2002

The Objective Caml system, documentation and user’s manual

  • Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon
  • http://caml/ocaml/ htmlman/,
  • 2002

The Objective Caml system, release 3.06

  • Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy, Jérôme Vouillon
  • http://caml.inria.fr/,
  • 2002

Jif: Java + information flow

  • Andrew C. Myers, Nathaniel Nystrom, Lantian Zheng, Steve Zdancewic
  • http://www.cs.cornell.edu/jif/,
  • 2001

Laüfer. An extension of ML with first-class abstract types

  • Martin Odersky, Konstantin
  • In Proceedings of the 1992 ACM Workshop on ML and…
  • 1992

Similar Papers

Loading similar papers…