On the Synthesis of a Reactive Module.

Amir Pnueli Roni Rosner

Published in: POPL (1989)

Keyphrases

program synthesis
real time
database
search engine
wide range
texture synthesis
neural network
metadata
image processing
search algorithm
natural language
expert systems
agent architecture
event driven
verilog hdl