Matches in DBpedia 2016-04 for { ?s ?p "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs.Programs written in F* can be translated to OCaml or F# for execution. Previous versions of F* could also be translated to JavaScript.The latest version of F* is written entirely in F*, and bootstraps in OCaml and F#. It is open source (under the Apache 2.0 License) and is under active development on GitHub."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- F*_(programming_language) abstract "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs.Programs written in F* can be translated to OCaml or F# for execution. Previous versions of F* could also be translated to JavaScript.The latest version of F* is written entirely in F*, and bootstraps in OCaml and F#. It is open source (under the Apache 2.0 License) and is under active development on GitHub.".
- Q5423569 abstract "F* (pronounced F star) is an ML-like functional programming languageaimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, and refinement types. Together, these features allow expressing precise specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs.Programs written in F* can be translated to OCaml or F# for execution. Previous versions of F* could also be translated to JavaScript.The latest version of F* is written entirely in F*, and bootstraps in OCaml and F#. It is open source (under the Apache 2.0 License) and is under active development on GitHub.".