Important! Selecting a language below will dynamically change the complete page content to that language.
This is a source release of the Fine compiler and several example programs. Last published: May 28, 2010.
-
This is a source release of the Fine compiler and several example programs. The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified. Our compilation technique produces verifiable target code in a language called DCIL, an extension of CIL, the language of the .NET runtime. Code consumers can check DCIL target programs using a syntactic byte-code verifier to establish the security of the code.
Supported Operating System
Windows 10, Windows 7, Windows 8
-
- Windows 7, Windows 8, or Windows 10
-
- Click Download and follow the instructions.