1 web-programmer-developer-"https:"-"https:"-"https:"-"https:"-"https:"-"Newcastle-University" positions at Ecole Nationale de l'Aviation Civile

Compilation Formellement Vérifiée d'un Langage de Programmation Orienté Interaction // Formally Verified Compilation of an Interaction-Oriented Programming Language

Ecole Nationale de l'Aviation Civile | Toulouse, Midi Pyrenees | France | 3 months ago

formalize Smala, an interaction-oriented language developped at ENAC. Smala is, at its core, a reactive language, where bindings written by the programmer specify how outside events are propagated, and how