Telecharger Cours

Synchronous Languages: an introduction to Lustre - Irisa

Follow a few principles: ? Function composition. ? Types as ... buff = if reqData then dataIn else (0 -> pre buff); chstate = recB ...



Download