- 博客(6)
- 收藏
- 关注
RSS订阅原创 The Problems in OO Typing(Not Finished)
Typing of ? Encapsulation (Solved: “existential types” [Girard 71]) ? Inheritance (Partially solved) ? Polymorphism (Open issue) Typing Inheritance 1. Covariant Typing Animal {
2004-06-23 20:18:00
921
原创 误人子弟、垃圾文章大集合
1.计算机科学反思录？ 呵呵，好大的口气，内容看似句句箴言，其实空洞无比，适合非重点院校刚踏入大学校门非计算机专业学生用于自慰。 http://edunet.online-edu.org/user/feihong/000165.html 2.初学者学习C++的50条忠告? 完完全全出自c++初学者之手,适合给不懂编程语言的哥们侃大山之用 http://www.pconline.co
2004-06-23 19:27:00
1497
1
原创 Some Famous Articles about Type System of Programming Language
OO Type System 1983 A Semantics of Multiple Inheritance [Cardelli]1989 Inheritance is not Subtyping [Cook, Hill, Canning]1993 A Paradigmatic Object-Oriented Programming Language:Design, Static Typing
2004-06-23 18:35:00
1197
原创 The BookList about Computer Network
2.1.Computer Networks Computer Networks, Fourth Edition Author: Andrew S. Tanenbaum URL: http://www.amazon.com/exec/obidos/tg/detail/-/0130661023 Product Details pages: 912 pages Publisher: Prentice
2004-06-23 14:19:00
2129
1
原创 The BOOkList of Software Engineering
软件工程分类比较麻烦，很多东西界限比较模糊，我大致按以下进行分类,欢迎提意见。仅仅列举可以获得的书籍(电子版或者可以在国内买到的纸版) 1.软件方法学 (传统结构化方法 OO component agent 形式化方法 MDA aop fop 净室开发 基于软件体系结构的软件开发方法) 2.软件过程( xp rup 传统软件开发过程 ) 3.项目管理 (项目计划 风险管理 进度管理 配置管理 团队
2004-06-23 14:15:00
2272
原创 The BookList of Programming Language
The BookList of Programming Language Newbies: 1.Programming Languages：Design and Implementation Fourth Edition by Terrence W.Pratt Marvin V.Zelkowitz 2.Programming Langua
2004-06-23 14:05:00
1241
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人