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

Emilio Jess Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs

Browse the full ICFP paper archive.