File Details |
|
| File Size | 7.4 MB |
|---|---|
| License | Freeware |
| Operating System | Windows 7/2000/Vista/XP |
| Date Added | May 20, 2011 |
| Total Downloads | 472 |
| Publisher | Microsoft Corp. |
| Homepage | Microsoft F* |
Publisher's Description
F* extends core-ML with a type system based on dependent refinements, higher kinds and affine types. It enables verification of higher-order stateful programs with automation via SMT solving.
