自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(6)
  • 收藏
  • 关注

原创 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 864

原创 误人子弟、垃圾文章大集合

1.计算机科学反思录? 呵呵,好大的口气,内容看似句句箴言,其实空洞无比,适合非重点院校刚踏入大学校门非计算机专业学生用于自慰。 http://edunet.online-edu.org/user/feihong/000165.html 2.初学者学习C++的50条忠告? 完完全全出自c++初学者之手,适合给不懂编程语言的哥们侃大山之用         http://www.pconline.co

2004-06-23 19:27:00 1422 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 1150

原创 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 2027 1

原创 The BOOkList of Software Engineering

软件工程分类比较麻烦,很多东西界限比较模糊,我大致按以下进行分类,欢迎提意见。仅仅列举可以获得的书籍(电子版或者可以在国内买到的纸版) 1.软件方法学 (传统结构化方法 OO component agent 形式化方法 MDA aop fop 净室开发 基于软件体系结构的软件开发方法) 2.软件过程( xp rup 传统软件开发过程 ) 3.项目管理 (项目计划 风险管理 进度管理 配置管理 团队

2004-06-23 14:15:00 2131

原创 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 1176 2

空空如也

空空如也

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

TA关注的人

提示
确定要删除当前文章?
取消 删除