Reasoning about functional programming in Java and C++.

Published in: ISSTA/ECOOP Workshops (2018)

Keyphrases

functional programming
programming language
object oriented programming
functional language
object oriented
quantifier elimination
execution model
general purpose
source code
software engineering
logic programming
high level
data streams
key concepts