F* (programming language)
Functional programming language inspired by ML and aimed at program verification
F* (pronounced F star) 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).
Nº Q5423569 ★
Common · Literature
F* (programming language)
Functional programming language inspired by ML and aimed at program verification
F* (pronounced F star) 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).
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
F* (pronounced F star) 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. The F* type-checker aims to prove that programs meet their specifications using a combination of satisfiability modulo theories (SMT) solving and manual proofs. For execution, programs written in F* can be translated to OCaml, F#, C, WebAssembly (via KaRaMeL tool), or assembly language (via Vale toolchain). Prior F* versions could also be translated to JavaScript. It was introduced in 2011 and is under active development on GitHub.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
F
F (programming language)
Programming language: compiled, structured, array language
Nº Q5427464 ★
Not listed
-
S
System F
Typed lambda calculus
Nº Q2552799 ★
Not listed
-
F Sharp (programming language)
Microsoft programming language
Nº Q648619 ★★★
Not listed
-
S
Standard ML
Programming language
Nº Q597330 ★★
Not listed
-
Q Sharp
Programming language
Nº Q45322975 ★
Not listed
-
F
Forth (programming language)
Programming language
Nº Q275472 ★★
Not listed