Synthesizing Functional Reactive Programs.

Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito

Published in: CoRR (2019)

Keyphrases

functional language
computer programs
information systems
real world
search engine
real time
databases
relational databases
object oriented
programming language
functional analysis
functional programming
reactive planning