Abstract: A model is a blueprint of a system, which influences the quality of the system. A high quality model should specify not only the functional attributes of a system, i.e., what the system can ...
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