qzy-CSDN博客

原创 Timsort事件告诉我们……

Timsort是Kim Peters为Python基础设施开发的一个新排序算法。该算法性能卓越，具有稳定性和适应性，得到广泛认可，被Java语言、Android系统等采纳为标准排序算法。然而有一天，有一伙人报告了Kimsort的一个错误，说明了错误原因和纠正方法，并说改正后的算法就是正确的。这些人有什么神功神器，能做出这样的发现和结论？本文道出其中详情。

2017-10-23 15:29:30 3266

以B方法和CompCert等软件的出现为标志，形式化软件开发方法实实在在地进入了实际软件系统开发的领域。本文介绍近年软件形式化开发的一些重要进展。今后我们会看到越来越多的经过严格证明的软件系统或者系统部件。另一方面，有些用户也可能要求经过证明的系统。回顾一下各种重要的软件规范标准，其最高级别的质量保证都要求形式化方法，有些作为选择性要求，只是因为撰写时还缺乏实践基础。下一版的标准将会怎样？某些标准强制性地要求严格证明，不是不可能出现的情况。这些都要求我们及早做好准备。

2017-06-05 09:02:33 3725 1

原创《程序设计语言——实践之路》的译者序

Michael Scott的“Programming Language Pragmatics”是一本很有趣，也非常有价值的新教科书，它颠覆了传统意义上的“程序设计语言”课程的组织体系，其内容涵盖程序设计语言、编译技术、软件系统的许多方面，甚至延伸到硬件体系结构等许多领域。实际上，出现这一情况的根源也很明显：程序设计语言在计算机科学技术领域居于一种中心地位。程序是计算机科学技术中最核心的概念

2005-03-11 18:13:00 1265 2

原创《程序设计语言——实践之路》前言

关于计算机程序设计的课程给了普通学生有关计算机领域的第一个印象。大多数学生在这样的课程之前对于计算机已经有了一些接触，例如以计算机游戏或者其他个人应用的形式，在他们还没有写出自己的程序之前，就已经开始意识到这些应用的工作方式了。在获得了作为程序员的一定能力之后（假定已经学过很好的有关数据结构和算法的课程），很自然的下一步就是想知道程序设计语言是如何工作的。本书将对此提供一个解释。　　在常规的有关

2005-03-09 16:50:00 1396 3

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

qzy的专栏

原创 Timsort事件告诉我们……

原创形式化方法对软件开发的挑战：一些历史与现实

原创《程序设计语言——实践之路》的译者序

原创《程序设计语言——实践之路》前言

空空如也

空空如也

原创 Timsort事件告诉我们……

原创 形式化方法对软件开发的挑战：一些历史与现实

原创 《程序设计语言——实践之路》的译者序

原创 《程序设计语言——实践之路》前言

空空如也

空空如也

原创形式化方法对软件开发的挑战：一些历史与现实

原创《程序设计语言——实践之路》的译者序

原创《程序设计语言——实践之路》前言