cflp. PROGRAMMAZIONE DELLA LOGICA FUNZIONALE CONTRAINA IN HASKELL
Scarica ora

cflp. Classifica e riepilogo

cflp. Tag

programmazione Programmazione dei vincoli costrizione combinatore Combinator Haskell. Programmazione funzionale-logica

cflp. Descrizione

PROGRAMMAZIONE FUNZIONALE-LOGICING CONTRAING A HASKELL CFLP fornisce combinatrici per la programmazione funzionale-logica per vincoli ((c) flp) in Haskell. I combinatori potrebbero essere successivamente utilizzati come linguaggio di destinazione per compilare programmi scritti in un linguaggio FLP come curry o giocattolo. Un'altra applicazione di FLP è la generazione del caso di prova guidata dalla domanda. Nota: CFLP è concesso in licenza e distribuito sotto i termini della licenza BSD. Requisiti: · GHC.

cflp. Software correlato