F*

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:

Caracteristicas

Categorias

Alternativas a F* para Mac

F# (programming language)

F# (programming language)

F # es un lenguaje funcional y orientado a objetos sucinto, expresivo y eficiente para .NET que le ayuda a escribir código simple para resolver problemas complejos.
CamDesk

CamDesk

CamDesk es un widget de cámara web de escritorio gratuito y de código abierto, que se creó como aplicación de vigilancia doméstica.
Coq

Coq

Coq es un asistente de pruebas, que le permite escribir pruebas matemáticas de una manera rigurosa y formal, y hacer que la computadora verifique su corrección.
OCaml

OCaml

OCaml es un lenguaje de programación de fuerza industrial que admite estilos funcionales, imperativos y orientados a objetos.
Isabelle

Isabelle

Isabelle es una asistente de pruebas para escribir y verificar pruebas matemáticas por computadora.
Agda

Agda

Agda es un lenguaje de programación funcional de tipo dependiente.Tiene familias inductivas, es decir, tipos de datos que dependen de valores, como el tipo de vectores de una longitud dada.
Network Security Toolkit

Network Security Toolkit

Este CD / DVD en vivo ISO de arranque (NST Live) está basado en Fedora.