An extension of HM(X) with existential and universal datatypes (2003)

by Vincent Simonet
Results 1 - 1 of 1

Flow Caml in a Nutshell

by Vincent Simonet, Inria Rocquencourt - Proceedings of the first APPSEM-II workshop , 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. I ..."
Abstract - Cited by 46 (0 self) - Add to MetaCart
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.