Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 3.

Cayenne—a language with dependent types

Gary T. Leavens , Jean-Raymond Abrial , Don Batory , Michael Butler , Alessandro Coglio , Kathi Fisler , Eric Hehner , Cliff Jones , Dale Miller , ...

Synchronous Kahn networks -

P. Raymond N. Halbwachs, P. Caspi and D. Pilaud. The synchronous datafiow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.

First-class synchronization barriers

Tiago Cogumbreiro , Raymond Hu , Francisco Martins , ... Abadi, and Lévy [GAL92], and Asperti [Asp94], designed to effect so-called optimal evaluation, ...