承续缘的信仰

第十章、如何给10^7个数据量的磁盘文件排序作者:July，yansha，5，编程艺术室。出处：http://blog.youkuaiyun.com/v_JULY_v 。 前奏    经过几天的痛苦沉思，最终决定，把原程序员面试题狂想曲系列正式更名为程序员编程艺术系列，同时，狂想曲创作组更名为编程艺术室。之所以要改名，我们考虑到三点：1、为面试服务不能成为我们最终或

半年前，JoelOnSoftware和CodingHorror合搞的stackoverflow.com刚上线不久，我兴冲冲地跑过去扔了一个问题：你们认为编程的首要原则是什么？作为我的学习原则的一个实践：8. 学习一项知识，必须问自己三个重要问题：1. 它的本质是什么。2. 它的第一原则是什么。3. 它的知识结构是怎样的。5个月过去了，这个问题到现在还有人回复

程序员编程艺术：第三章、寻找最小的k个数作者：July。时间：二零一一年四月二十八日。致谢：litaoye， strugglever，yansha，luuillu，Sorehead，及狂想曲创作组。微博：http://weibo.com/julyweibo。出处：http://blog.youkuaiyun.com/v_JULY_v。--------------------------

程序员编程艺术：第三章续、Top K算法问题的实现    作者：July，zhouzhenren，yansha。    致谢：微软100题实现组，狂想曲创作组。    时间：2011年05月08日    微博：http://weibo.com/julyweibo 。    出处：http://blog.youkuaiyun.com/v_JULY_v 。    wiki：http

程序员编程艺术：第八章、从头至尾漫谈虚函数作者：July。出处：http://blog.youkuaiyun.com/v_JULY_v 。 前奏    有关虚函数的问题层出不穷，有关虚函数的文章千篇一律，那为何还要写这一篇有关虚函数的文章呢?看完本文后，相信能懂其意义之所在。同时，原狂想曲系列已经更名为程序员编程艺术系列，因为不再只专注于“面试”，而在“编程”之上了。ok，

程序员编程艺术：第二章、字符串是否包含及匹配/查找/转换/拷贝问题作者：July，yansha。时间：二零一一年四月二十三日。致谢：老梦，nossiac，Hession，Oliver，luuillu，雨翔，啊菜，及微软100题实现小组所有成员。微博：http://weibo.com/julyweibo。出处：http://blog.youkuaiyun.com/v_JULY_v。-

第一章、左旋转字符串作者：July，yansha。时间：二零一一年四月十四日。微博：http://weibo.com/julyweibo。出处：http://blog.youkuaiyun.com/v_JULY_v。-------------------------------------------目录序前言第一节、左旋转字符串第二

什么样的程序才是正确的？如何来保证程序是正确的？ 测试？NO！采用测试方法确实可以发现程序中的错误，但却不能保证和证明程序中没有错误！先来看一些概念，有关程序功能的精确描述   前置断言：程序执行前的输入应满足的条件，又称为输入断言。 后置断言：程序执行后的输出应满足的条件，又称为输出断言。 程序规约：对程序所实现功能的精确描述，由程序的前置断言和后置断言两部分组成。程序设计一般过程：问