王振宇教授论文集

从1956年我大学毕业到这个所工作算起，从事科研工作有50年了。成就说不上，自己感觉算得上成绩的，也屈指可数。到现在，虽时有志向再做点什么，也偶尔做出点什么，但更多的时候知道20+50意味着什么。 承徐宝文、孙潮义、曹万华等君的盛意，出版了这本论文集。连同国防工业出版社出过的《树枚举与算法复杂性分析》、《程序复杂性度量》和《Ada软件开发技术》，大致能反映走过的路、喝过的水、摔过的跤，以及偶有的所得。整理过程中，常自觉浅陋，但那已是历史。倘若能重来，有些事是不会那么做的，有些文章也是不会那么写的。不过，"倘若"，只能是"倘若"，这一段历史只能这么交代了。感谢论文集中收录的论文的合作者--其中的绝大多数曾是我的硕士生或博士生。我的面前常常浮现他们年轻、鲜活的面容，在搜集这些合作论文的时候就更加如此了。他们中间大多数和我仍有经常的联系，虽然有的远隔千万里，有的在我周围工作。做了二十多年研究生导师，交了这么多青年朋友，实乃一段人生值得回忆的经历和享受。 50年前，我的老师、中国科学院学部委员、这个所的创建人--李国平教授召唤我来这里工作，而在这之前就把我引上了科学研究的道路。老前辈、数学家熊庆来教授也对我多有教诲与指导。在回首往事的时候，再次向这两位大师表示我由衷的敬意。 我的全部工作时间都在这个所。709所要庆祝建所50周年了，衷心地祝愿709所兴旺发达，在王小非所长的带领下，为我国国防科学技术事业做出更大的贡献。

暂缺《王振宇教授论文集》作者简介

第一部分理论数学
第二部分计算数学
第三部分树枚举与算法复杂性分析
第四部分语言、编译与工具
第五部分程序复杂性度量
第六部分软件工程、工具与环境
第七部分软件体系结构