... 汇编级代码 部分正确性[gap=1189]Key words: program verification; multi-core processor; spin lock; assembly level code; partial correctness...
基于8个网页-相关网页
On average, one line of high level language code translates into many lines of assembly language code.
平均起来，一行高级语言代码要转换成多行汇编语言代码。
You apply contracts extensively in the code, but then you disable contracts at the assembly level.
应用合同广泛地在代码中，但是然后禁用程序集级别的合同。
As you read the Art of Assembly Language, you'll learn the low-level theory fundamental to computer science and turn that understanding into real, functional code.
当你读这本汇编语言编程艺术这本书的时候，你将学习到基础编程理论，并且能从代码级别真实的理解计算机科学的理论基础。
应用推荐