Lustre
-verimag.imag.frDeclarative synchronous language, kernel language of SCADE (was SAO+/SAGA) industrial environment developed by Esterel Technologies; a description is a set of equations that must be verified always by program variables. [Verimag]
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.