Vérification de la génération modulaire du code impératif pour Lustre

Translated title of the contribution: Verification of the imperative modular code generation for Lustre

Timothy Bourke, Pierre Évariste Dagand, Marc Pouzet, Lionel Rieg

Research output: Contribution to conferencePaperpeer-review

Translated title of the contributionVerification of the imperative modular code generation for Lustre
Original languageFrench
Publication statusPublished - 1 Jan 2017
EventVingt-huitieme Journees Francophones des Langages Applicatifs, JFLA 2017 - 28th French-Speaking Conference on Applicative Languages, JFLA 2017 - Gourette, Pyrenees, France
Duration: 4 Jan 20177 Jan 2017

Conference

ConferenceVingt-huitieme Journees Francophones des Langages Applicatifs, JFLA 2017 - 28th French-Speaking Conference on Applicative Languages, JFLA 2017
Country/TerritoryFrance
CityGourette, Pyrenees
Period4/01/177/01/17

Cite this