Abstract
We present ongoing work on the compilation of the modular reset and its proof of correctness.
Date
Nov 29, 2018 9:00 AM
Event
Location
CAES CNRS - Villa Clythia
2754, avenue Henri-Giraud
83600 Fréjus
83600 Fréjus
Lélio Brun
Postdoctoral research scientist in Computer Science
My research interests include synchronous languages, functional programming and verified compilation.