Login / Signup
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.
Christophe Ratel
Nicolas Halbwachs
Pascal Raymond
Published in:
SIGSOFT (1991)
Keyphrases
</>
data flow
programming language
database machine
control flow
case study
computer systems
data transfer
digital circuits
object oriented
distributed systems
object oriented programming
programming environment
database
computer programs
oriented programming
systolic array