[译] 如何验证代码是否被编译器优化后出错?

栏目: IT技术 · 发布时间: 6年前 · 86

译者注:本文搞不好可能是第一篇中文介绍LKMM、herd7,litmus test的文章吧?weak memory model场景data race的分析工具。关于LKMM的简介和...

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

计算的本质

计算的本质

[英] Tom Stuart / 张伟 / 人民邮电出版社 / 2014-11 / 69.00元

《计算的本质:深入剖析程序和计算机》借助Ruby全面介绍计算理论和编程语言的设计。作者注重实用性,不仅尽量抛开复杂难懂的数学符号,而且特别选用简单快捷的编程语言Ruby,在读者熟知的背景知识下,以明晰的可工作代码阐明形式语义、自动机理论,以及通过lambda演算进行函数式编程等计算机科学知识,并为让其自行探索做足准备。 本书适合计算机科学系学生,以及熟知现代编程语言,想要系统地学习计算机科学......一起来看看 《计算的本质》 这本书的介绍吧!

在线进制转换器

在线进制转换器

各进制数互转换器

RGB HSV 转换

RGB HSV 转换

RGB HSV 互转工具

HEX HSV 转换工具

HEX HSV 转换工具

HEX HSV 互换工具