Crccaz chercher Pour vous de trouver

Raymond Lévy

filtration org related results about 3.
Advertisement

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 , ...
https://doi.acm.org/10.1145/289423.289451

Synchronous Kahn networks - dl.acm.org

P. Raymond N. Halbwachs, P. Caspi and D. Pilaud. The synchronous datafiow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
https://dl.acm.org/citation.cfm?id=232629.232651

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, ...
https://doi.acm.org/10.1145/232627.232645