Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs. The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. In Daniel Winograd-Cort, Jean-Louis Giavitto, editors, FARM 2021: Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Virtual Event, Korea, 27 August 2021. pages 35-46, ACM, 2021. [doi]
Abstract is missing.