Microsoft F*


Version: 0.4 alpha
Size:
7.40MB
Requirements:
No special requirements
Price:
Free
System:
Windows XP/2000/98
Rating:
4.2
License:
Freeware

Description - Microsoft F*



A Verifying Compiler for ML Programs. 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.



More in Compilers and IDEs-Microsoft F*

Microsoft Stateful Programs With