Synthesizing functional reactive programs.

Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito

Published in: Haskell@ICFP (2019)

Keyphrases

functional language
functional analysis
functional programming
real time
data mining
artificial intelligence
search algorithm
evolutionary algorithm
computer programs
automatic programming
prolog programs
database
information retrieval
expert systems
agent architecture
intermediate level