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

Translated title of the contribution: Clocked arguments in a verified Lustre compiler

Timothy Bourke, Marc Pouzet

Research output: Contribution to conferencePaperpeer-review

Translated title of the contributionClocked arguments in a verified Lustre compiler
Original languageFrench
Pages109-124
Number of pages16
Publication statusPublished - 1 Jan 2019
Externally publishedYes
Event30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France
Duration: 30 Jan 20192 Feb 2019

Conference

Conference30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Country/TerritoryFrance
CityLes Rousses
Period30/01/192/02/19

Cite this