Login / Signup
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
Published in:
FARM@ICFP (2021)
Keyphrases
</>
main contribution
learning algorithm
artificial intelligence
computational model
theoretical framework
computational framework
information systems
data structure
digital libraries
lightweight
framework enables
asynchronous communication