Sobre F*
F* (pronunciado F star) é uma linguagem de programação funcional semelhante a ML destinada à verificação do programa. Seu sistema de tipo inclui polimorfismo, tipos dependentes, efeitos monádicos, tipos de refinamento e um cálculo pré-condicionado mais fraco. Juntos, esses recursos permitem expressar especificações precisas e compactas para programas, incluindo propriedades de correção funcional. O verificador de tipo F* visa provar que os programas atendem suas especificações usando uma combinação de solução SMT e provas manuais. Programas escritos em F* podem ser traduzidos para OCaml ou F# para execução.
Categorias
- Free
- Open Source
- Paid
- Development
- Security & Privacy
Alternativas para F*
F# (Programming Language)
grátis
código aberto
#1
F# é uma linguagem funcional, expressiva e eficiente e orientada a objetos para . NET que ajuda você a escrever código s...
ver detalhes
Isabelle
grátis
código aberto
#2
Isabelle é um assistente de prova para escrever e verificar provas matemáticas por computador.
Permite que fórmulas mate...
ver detalhes
Coq
grátis
código aberto
#3
Coq é um assistente de prova, que permite que você escreva provas matemáticas de uma forma rigorosa e formal, e tê-los v...
ver detalhes
Agda
grátis
código aberto
Agda é uma linguagem de programação funcional de tipo dependente. Tem famílias indutivas, ou seja, tipos de dados que de...
ver detalhes
Ocaml
grátis
código aberto
OCaml é uma linguagem de programação de força industrial que suporta estilos funcionais, imperativos e orientados a obje...
ver detalhes
