1 dataset found

Tags: imperative-languages

Filter Results

  • Certified compilation of SCADE/LUSTRE

    Synchronous languages first appeared during the 80’s, in order to provide a mathematical model for safety-critical systems. In this model, time is discrete. At each...
You can also access this registry using the API (see API Docs).