Compiler verification; denotational semantics; biorthog-onality; step-indexing; proof assistants;
机译:双正常,逐步索引和编译器正确性
机译:使用双正交滤波器组的纠错码
机译:计算正确的编译器Ⅱ:寄存器返回
机译:双正交性,逐步索引和编译器正确性
机译:确保编译后代码的正确性。
机译:使用三次击头双正交小波滤波器用于心电图按压的时频定位
机译:Biorthogonality,step-Indexing和Compiler Correctness