School of Chemistry, University of Birmingham, Edgbaston, Birmingham B15 2TT, U.K. School of Chemistry, University of Birmingham, Edgbaston, Birmingham B15 2TT, U.K ...
Abstract: Synchronous block-diagram languages have long been formalized as fixpoints of equations defining stream functions. We apply this approach to a compiler verified in an interactive theorem ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback