Using Functional Programming to Generate an LDPC Forward Error Corrector.

Andy Gill Tristan Bull Daniel DePardo Andrew Farmer Ed Komp Erik Perrins

Published in: FCCM (2011)

Keyphrases

functional programming
execution model
functional language
quantifier elimination
programming language
object oriented programming
management system
distributed databases