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

Timothy Bourke; Marc Pouzet

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

Inria Paris
Université PSL
École normale supérieure
UPMC Univ Paris 06
Sorbonne Université

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

3 Citations (Scopus)

Translated title of the contribution	Clocked arguments in a verified Lustre compiler
Original language	French
Pages	109-124
Number of pages	16
Publication status	Published - 1 Jan 2019
Externally published	Yes
Event	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France Duration: 30 Jan 2019 → 2 Feb 2019

Conference

Conference	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Country/Territory	France
City	Les Rousses
Period	30/01/19 → 2/02/19

Cite this

@conference{a0c07a3e420d49b7a99151bfaefd11b7,

title = "Arguments cadenc{\'e}s dans un compilateur lustre v{\'e}rifi{\'e}",

author = "Timothy Bourke and Marc Pouzet",

year = "2019",

month = jan,

day = "1",

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

pages = "109--124",

note = "30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 ; Conference date: 30-01-2019 Through 02-02-2019",

}

TY - CONF

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

AU - Bourke, Timothy

AU - Pouzet, Marc

PY - 2019/1/1

Y1 - 2019/1/1

M3 - Papier

AN - SCOPUS:85089759457

SP - 109

EP - 124

T2 - 30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019

Y2 - 30 January 2019 through 2 February 2019

ER -