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.
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
Non deterministc programming
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