 | cifraProgramación funcional-lógica de restricción en Haskell |
| Descargar ahora | |
cifra Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- Fischer Sebastian
- Sitio web del editor:
- http://www-ps.informatik.uni-kiel.de/~sebf/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 22 KB
cifra Etiquetas
cifra Descripción
Programación funcional-lógica de restricción en Haskell CFLP proporciona combinadores para la programación de lógica funcional de restricción ((C) FLP) en Haskell. Los combinadores podrían ser utilizados posteriormente como lenguaje objetivo para compilar programas escritos en un lenguaje FLP como curry o juguete. Otra aplicación de FLP es la generación de casos de prueba impulsada por la demanda. Nota: CFLP tiene licencia y se distribuye bajo los términos de la licencia BSD. Requisitos: · Ghc
cifra Software relacionado
Ronin Exploits
Una biblioteca gratuita para Ronin que proporcionará a los desarrolladores de Ruby con herramientas de funcionalidad de explotación y carga útil. ...
99 KB
Rudimentos
Biblioteca de clase C ++ de código abierto y abierto para demonios, clientes y servidores ...
652 KB