3
F*
F * é uma linguagem de programação funcional semelhante a ML, destinada à verificação do programa.F * pode expressar especificações precisas para programas, incluindo propriedades de correção funcional.Programas escritos em F * podem ser traduzidos para OCaml ou F # para execução.
F * (estrela F pronunciada) é uma linguagem de programação funcional semelhante ao ML, destinada à verificação do programa.Seu sistema de tipos inclui polimorfismo, tipos dependentes, efeitos monádicos, tipos de refinamento e um cálculo de pré-condição mais fraco.Juntos, esses recursos permitem expressar especificações precisas e compactas para programas, incluindo propriedades funcionais de correção.O verificador de tipo F * visa provar que os programas atendem às suas especificações usando uma combinação de solução SMT e provas manuais.Os programas escritos em F * podem ser traduzidos para OCaml ou F # para execução ....
Local na rede Internet:
https://www.fstar-lang.orgRecursos
Categorias
Alternativas ao F* para Android
1
Hi Security
O Hi Security é um antivírus gratuito de classe mundial que protege seu telefone Android de todos os ataques de vírus.
- Grátis
- Android
0
get2clouds
Ele criptografa os dados duas vezes usando a criptografia RC4 e os envia por uma camada de soquete seguro (https).Essa criptografia de ponta a ponta (E2E) impossibilita a interceptação ou o acesso aos dados por qualquer pessoa que não seja o usuário.