| CFLP. Programação Funcional-Lógica de Restrição em Haskell |
Baixe Agora |
CFLP. Classificação e resumo
- Nome do editor:
- Fischer Sebastian
- Site do editor:
- http://www-ps.informatik.uni-kiel.de/~sebf/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 22 KB
CFLP. Tag
CFLP. Descrição
Restrição Funcional-Logic Programação em Haskell O CFLP fornece combinadores para programação de lógica funcional de restrição (c) FLP) em Haskell. Os combinadores podem ser usados mais tarde como uma linguagem-alvo para compilar programas escritos em uma linguagem FLP como curry ou brinquedo. Outra aplicação do FLP é geração de casos de teste de demanda. Nota: O CFLP é licenciado e distribuído sob os termos da licença BSD. Requisitos: · GHC.
CFLP. Software Relacionado