An Implementation of Constructive Synchronous Programs in POLIS.

Gérard Berry Ellen Sentovich

Published in: Formal Methods Syst. Des. (2000)

Keyphrases

efficient implementation
asynchronous communication
artificial intelligence
image processing
decision trees
image sequences
multiscale
hardware implementation
implementation details
automatic programming
high level language