ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction.

Boris Düdder George T. Heineman Jakob Rehof

Published in: ISoLA (1) (2016)

Keyphrases

functional programs
intermediate level
process model
computer programs
program synthesis
image sequences
business processes
stochastic processes
real time
social networks
learning environment
automatic programming