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 ...
f-
Sitio web:
https://www.fstar-lang.orgCaracteristicas
Categorias
Alternativas a F* para BSD
17
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.
