User loginNavigation |
F*: A Verifying ML Compiler for Distributed ProgrammingInteresting to many of you, I'd imagine -> F* "F* is a new dependently typed language for secure distributed programming. It's designed to be enable the construction and communication of proofs of program properties and of properties of a program's environment in a verifiably secure way. F* compiles to .NET bytecode in type-preserving style, and interoperates smoothly with other .NET languages, including F#, on which it is based." C By Charles Torre at 2011-07-23 19:25 | LtU Forum | previous forum topic | next forum topic | other blogs | 16698 reads
|
Browse archivesActive forum topics
|
Recent comments
1 week 20 hours ago
1 week 5 days ago
1 week 6 days ago
1 week 6 days ago
2 weeks 5 days ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago
4 weeks 3 days ago
4 weeks 4 days ago