Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/F*_(programming_language)> ?p ?o }
- 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.".
- F*_(programming_language) influencedBy F_Sharp_(programming_language).
- F*_(programming_language) influencedBy OCaml.
- F*_(programming_language) influencedBy Standard_ML.
- F*_(programming_language) latestReleaseDate "2016-02-01".
- F*_(programming_language) latestReleaseVersion "0.9.2.0".
- F*_(programming_language) license Apache_License.
- F*_(programming_language) thumbnail Fstar-official-logo-2015.png?width=300.
- F*_(programming_language) wikiPageExternalLink mumon.
- F*_(programming_language) wikiPageExternalLink jsStar.
- F*_(programming_language) wikiPageExternalLink www.msr-inria.fr.
- F*_(programming_language) wikiPageExternalLink FStar.
- F*_(programming_language) wikiPageExternalLink v0.9.2.0.
- F*_(programming_language) wikiPageExternalLink www.fstar-lang.org.
- F*_(programming_language) wikiPageExternalLink tutorial.
- F*_(programming_language) wikiPageID "38420593".
- F*_(programming_language) wikiPageLength "3772".
- F*_(programming_language) wikiPageOutDegree "44".
- F*_(programming_language) wikiPageRevisionID "702821470".
- F*_(programming_language) wikiPageWikiLink Apache_License.
- F*_(programming_language) wikiPageWikiLink Category:.NET_programming_languages.
- F*_(programming_language) wikiPageWikiLink Category:Automated_theorem_proving.
- F*_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- F*_(programming_language) wikiPageWikiLink Category:Functional_languages.
- F*_(programming_language) wikiPageWikiLink Category:ML_programming_language_family.
- F*_(programming_language) wikiPageWikiLink Category:Microsoft_Research.
- F*_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- F*_(programming_language) wikiPageWikiLink Cross-platform.
- F*_(programming_language) wikiPageWikiLink Dependent_type.
- F*_(programming_language) wikiPageWikiLink F_Sharp_(programming_language).
- F*_(programming_language) wikiPageWikiLink Formal_verification.
- F*_(programming_language) wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- F*_(programming_language) wikiPageWikiLink Functional_programming.
- F*_(programming_language) wikiPageWikiLink GitHub.
- F*_(programming_language) wikiPageWikiLink Imperative_programming.
- F*_(programming_language) wikiPageWikiLink JavaScript.
- F*_(programming_language) wikiPageWikiLink Linux.
- F*_(programming_language) wikiPageWikiLink ML_(programming_language).
- F*_(programming_language) wikiPageWikiLink Microsoft_Research.
- F*_(programming_language) wikiPageWikiLink Microsoft_Windows.
- F*_(programming_language) wikiPageWikiLink Monad_(functional_programming).
- F*_(programming_language) wikiPageWikiLink OCaml.
- F*_(programming_language) wikiPageWikiLink OS_X.
- F*_(programming_language) wikiPageWikiLink Parametric_polymorphism.
- F*_(programming_language) wikiPageWikiLink Programming_paradigm.
- F*_(programming_language) wikiPageWikiLink Proof_assistant.
- F*_(programming_language) wikiPageWikiLink Refinement_(computing).
- F*_(programming_language) wikiPageWikiLink Satisfiability_modulo_theories.
- F*_(programming_language) wikiPageWikiLink Side_effect_(computer_science).
- F*_(programming_language) wikiPageWikiLink Standard_ML.
- F*_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
- F*_(programming_language) wikiPageWikiLink Type_inference.
- F*_(programming_language) wikiPageWikiLink Type_system.
- F*_(programming_language) wikiPageWikiLink File:Fstar-official-logo-2015.png.
- F*_(programming_language) wikiPageWikiLinkText "F* (programming language)".
- F*_(programming_language) wikiPageWikiLinkText "F*".
- F*_(programming_language) designers "Microsoft Research, MSR-Inria, and Inria".
- F*_(programming_language) fileExt ".fst".
- F*_(programming_language) influencedBy "F#, OCaml, Standard ML, Fine, F7, F5, FX, HTT, Trellys, Zombie, Dafny".
- F*_(programming_language) latestReleaseDate "2016-02-01".
- F*_(programming_language) latestReleaseVersion "0.9".
- F*_(programming_language) license Apache_License.
- F*_(programming_language) logo "120".
- F*_(programming_language) name "F*".
- F*_(programming_language) operatingSystem Cross-platform.
- F*_(programming_language) paradigm Formal_verification.
- F*_(programming_language) paradigm Functional_programming.
- F*_(programming_language) paradigm Imperative_programming.
- F*_(programming_language) paradigm Programming_paradigm.
- F*_(programming_language) typing Dependent_type.
- F*_(programming_language) typing Formal_verification.
- F*_(programming_language) typing Strong_and_weak_typing.
- F*_(programming_language) typing Type_inference.
- F*_(programming_language) typing Type_system.
- F*_(programming_language) wikiPageUsesTemplate Template:Cite_conference.
- F*_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- F*_(programming_language) wikiPageUsesTemplate Template:Prog-lang-stub.
- F*_(programming_language) wikiPageUsesTemplate Template:Reflist.
- F*_(programming_language) wikiPageUsesTemplate Template:Start_date.
- F*_(programming_language) wikiPageUsesTemplate Template:Url.
- F*_(programming_language) subject Category:.NET_programming_languages.
- F*_(programming_language) subject Category:Automated_theorem_proving.
- F*_(programming_language) subject Category:Dependently_typed_languages.
- F*_(programming_language) subject Category:Functional_languages.
- F*_(programming_language) subject Category:ML_programming_language_family.
- F*_(programming_language) subject Category:Microsoft_Research.
- F*_(programming_language) subject Category:Proof_assistants.
- F*_(programming_language) hypernym Programming.
- F*_(programming_language) type Language.
- F*_(programming_language) type ProgrammingLanguage.
- F*_(programming_language) type RadioStation.
- F*_(programming_language) type Software.
- F*_(programming_language) type Division.
- F*_(programming_language) type Language.
- F*_(programming_language) type Language.
- F*_(programming_language) type Thing.
- F*_(programming_language) type Q315.
- F*_(programming_language) type Q34770.
- F*_(programming_language) type Q9143.
- F*_(programming_language) comment "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.".