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

Timothy Bourke; Marc Pouzet

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

Timothy Bourke
, Marc Pouzet

Inria Paris
Université PSL
Sorbonne Université

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Titre traduit de la contribution	Clocked arguments in a verified Lustre compiler
langue originale	Français
Pages	109-124
Nombre de pages	16
état	Publié - 1 janv. 2019
Modification externe	Oui
Evénement	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France Durée: 30 janv. 2019 → 2 févr. 2019

Une conférence

Une conférence	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Pays/Territoire	France
La ville	Les Rousses
période	30/01/19 → 2/02/19

Contient cette citation

@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",

}

Arguments cadencés dans un compilateur lustre vérifié. / Bourke, Timothy; Pouzet, Marc.
2019. 109-124 Papier présenté � 30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019, Les Rousses, France.

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

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 -