researchers with a paper here

1 paper

cs.PL2008

Modular Compilation of a Synchronous Language

Annie Ressouche, Daniel Gaffé, Valérie Roy

Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t…