一种出具证明编译器中的汇编级断言和证明生成的方法 / Assertion and Proof Generation for Assembly Code in Certifying Compiler
In: 小型微型计算机系统 / Journal of Chinese Computer Systems, 2011, Heft 6, S. 1164-1169
academicJournal
Zugriff:
Titel: |
一种出具证明编译器中的汇编级断言和证明生成的方法 / Assertion and Proof Generation for Assembly Code in Certifying Compiler
|
---|---|
Link: | |
Zeitschrift: | 小型微型计算机系统 / Journal of Chinese Computer Systems, 2011, Heft 6, S. 1164-1169 |
Veröffentlichung: | 2011 |
Medientyp: | academicJournal |
ISSN: | 1000-1220 (print) |
Sonstiges: |
|