Normalisation vérifiée du langage Lustre

Timothy Bourke; Paul Jeanmaire; Basile Pesin; Marc Pouzet

Normalisation vérifiée du langage Lustre

Translated title of the contribution: Luster language verified standardization

Timothy Bourke
, Paul Jeanmaire
, Basile Pesin
, Marc Pouzet

Research output: Contribution to conference › Paper › peer-review

Translated title of the contribution	Luster language verified standardization
Original language	French
Pages	117-133
Number of pages	17
Publication status	Published - 1 Jan 2021
Externally published	Yes
Event	32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021 - Virtual, Online Duration: 7 Apr 2021 → 9 Apr 2021

Conference

Conference	32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021
City	Virtual, Online
Period	7/04/21 → 9/04/21

Cite this

@conference{73394f3ca2cc4016a609c24b9e6acb87,

title = "Normalisation v{\'e}rifi{\'e}e du langage Lustre",

author = "Timothy Bourke and Paul Jeanmaire and Basile Pesin and Marc Pouzet",

year = "2021",

month = jan,

day = "1",

language = "Fran{\c c}ais",

pages = "117--133",

note = "32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021 ; Conference date: 07-04-2021 Through 09-04-2021",

}

TY - CONF

T1 - Normalisation vérifiée du langage Lustre

AU - Bourke, Timothy

AU - Jeanmaire, Paul

AU - Pesin, Basile

AU - Pouzet, Marc

PY - 2021/1/1

Y1 - 2021/1/1

UR - https://www.scopus.com/pages/publications/85108017016

M3 - Papier

AN - SCOPUS:85108017016

SP - 117

EP - 133

T2 - 32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021

Y2 - 7 April 2021 through 9 April 2021

ER -

Normalisation vérifiée du langage Lustre

Conference

Other files and links

Cite this