Abductive functional programming, a semantic approach.

Koko Muroya Steven Cheung Dan R. Ghica

Published in: CoRR (2017)

Keyphrases

functional programming
programming language
execution model
functional language
quantifier elimination
object oriented programming
semantic information
logic programming
metadata
knowledge representation
efficient processing