PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Loddo J., Fouqueré C., Righi M., Russo D. Typed unification and pattern-matching in OCaml. Technical report, 2016.
 
 
Abstract
(English)
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.
Subject Ocaml
Curry
Non deterministc programming
Unification
Typed language
D.2.1 Requirements/Specifications
D.3.1 Formal Definitions and Theory
D.3.2 Language Classifications
D.3.3 Language Constructs and Features
F.3.2 Semantics of Programming Languages
F.4.3 Formal Languages


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional