123
F*

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:

Recursos

Categorias

Alternativas ao F* para Linux

F# (programming language)

F# (programming language)

F # é uma linguagem funcional e orientada a objetos, sucinta, expressiva e eficiente para .NET, que ajuda a escrever um código simples para resolver problemas complexos.
CamDesk

CamDesk

O CamDesk é um widget de webcam de desktop gratuito e de código aberto, criado como aplicativo de vigilância doméstica.
Coq

Coq

Coq é um assistente de prova, que permite escrever provas matemáticas de maneira rigorosa e formal, e tê-las verificadas quanto à correção pelo computador.
Isabelle

Isabelle

Isabelle é uma assistente de prova para escrever e verificar provas matemáticas por computador.
OCaml

OCaml

OCaml é uma linguagem de programação de força industrial que suporta estilos funcionais, imperativos e orientados a objetos.
Agda

Agda

O Agda é uma linguagem de programação funcional de tipo dependente.Possui famílias indutivas, ou seja, tipos de dados que dependem de valores, como o tipo de vetores de um determinado comprimento.
Network Security Toolkit

Network Security Toolkit

Este CD / DVD ao vivo ISO inicializável (NST Live) é baseado no Fedora.
Cyberwatch

Cyberwatch

Proteja seus servidores contra vulnerabilidades de TI. O Cyberwatch detecta suas vulnerabilidades e implanta automaticamente as correções de segurança apropriadas.