We provide in this paper the specification of a language that facilitates conversion between functional and logical data. We show that may be processed by a functional language as Ocaml at front-end, using this extended language. We present in particular the code generated in case of unification calls.
Typed unification and pattern-matching in OCaml
Righi M;Russo D
2016
Abstract
We provide in this paper the specification of a language that facilitates conversion between functional and logical data. We show that may be processed by a functional language as Ocaml at front-end, using this extended language. We present in particular the code generated in case of unification calls.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_359250-doc_117829.pdf
solo utenti autorizzati
Descrizione: Typed unification and pattern-matching in OCaml
Dimensione
206.49 kB
Formato
Adobe PDF
|
206.49 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.