SMT Solving for Functional Programming over Infinite Structures.

Bartek Klin Michal Szynwelski

Published in: MSFP (2016)

Keyphrases

functional programming
functional language
execution model
programming language
object oriented programming
quantifier elimination
information systems
relational databases
data warehouse
statistical machine translation