3
F*
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.
F * (pronunciado F star) es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.Su sistema de tipos incluye polimorfismo, tipos dependientes, efectos monádicos, tipos de refinamiento y un cálculo de precondición más débil.Juntas, estas características permiten expresar especificaciones precisas y compactas para los programas, incluidas las propiedades de corrección funcional.El verificador de tipo F * tiene como objetivo demostrar que los programas cumplen con sus especificaciones utilizando una combinación de resolución SMT y pruebas manuales.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución ...
Sitio web:
https://www.fstar-lang.orgCaracteristicas
Categorias
Alternativas a F* para Android
1
Hi Security
Hi Security es un antivirus GRATUITO de clase mundial que protege su teléfono Android de todos los ataques de virus.
- Gratis
- Android
0
get2clouds
Cifra los datos dos veces usando el cifrado RC4 y los envía a través de una capa de conexión segura (https).Este cifrado de extremo a extremo (E2E) hace que la intercepción o el acceso a los datos sean imposibles para cualquier persona que no sea el usuario.