Passer à la navigation principale Passer à la recherche Passer au contenu principal

Arguments cadencés dans un compilateur lustre vérifié

  • Inria Paris
  • Université PSL
  • Sorbonne Université

Résultats de recherche: Contribution à une conférencePapierRevue par des pairs

Titre traduit de la contributionClocked arguments in a verified Lustre compiler
langue originaleFrançais
Pages109-124
Nombre de pages16
étatPublié - 1 janv. 2019
Modification externeOui
Evénement30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France
Durée: 30 janv. 20192 févr. 2019

Une conférence

Une conférence30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Pays/TerritoireFrance
La villeLes Rousses
période30/01/192/02/19

Contient cette citation