Sylvain Ribstein

According to our database, Sylvain Ribstein authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms.

Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs

Proceedings of the FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, 2021