A multi-paradigm language for reactive synthesis.

Ioannis Filippidis Richard M. Murray Gerard J. Holzmann

Published in: SYNT (2015)

Keyphrases

language learning
programming language
functional programs
natural language
agent architecture
texture synthesis
specification language
databases
information retrieval
high level
english language
reactive planning