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 ...
Materials Science and Engineering Department and Advanced Materials and Manufacturing Processes Institute, University of North Texas, 1155 Union Circle, Denton, Texas 76203, United States ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback