F* (programming language)
id:
f-programming-language-181-7803251
title:
F* (programming language)
text:
F* is a high-level, multi-paradigm, functional and object-oriented programming language inspired by the languages ML, Caml, and OCaml, and intended for program verification. It is a joint project of Microsoft Research, and the French Institute for Research in Computer Science and Automation (Inria). Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties.
brand slug:
wiki
category slug:
encyclopedia
description:
Functional programming language inspired by ML and aimed at program verification
original url:
https://en.wikipedia.org/wiki/F*_(programming_language)
date created:
2013-02-04T17:35:39Z
date modified:
2024-09-05T18:33:20Z
main entity:
{"identifier":"Q5423569","url":"https://www.wikidata.org/entity/Q5423569"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/b/b1/Fstar-official-logo-2015.png","width":1000,"height":1000}
fields total:
13
integrity:
16