自定义博客皮肤VIP专享

*博客头图：

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

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

博客底图：

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

栏目图：

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

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

S_Jane的专栏

  • 博客(3)
  • 资源 (1)
  • 收藏
  • 关注
全部文章> 2010年09月
排序：
按最后发布时间
按访问量
RSS订阅
10月 09月 05月 04月 03月 01月

原创 KeY……

刚刚结束了spin的lab，马上要开始的是KeY的， 希望不要太变态……留下地方给KeY的简单总结

2010-09-28 21:48:00 383

原创 SPIN……

实在是太不友好了，难用的要命，特别是在看counter example的时候绝对是可以吐血的……留下这块地方以后有空总结一下……

2010-09-27 18:54:00 577

原创 Week 4

LISP:Prolog: http://en.wikipedia.org/wiki/PrologLogic programmingNo typesHorn clause good: for some AI usable for parsers solving problems tightly involed with logic protoyingbad: arithmetics not really correspond well to logic e.g. : p->p effici

2010-09-24 19:58:00 446

dragon book
THE dragon book, classical book for compiler development

2011-04-14

空空如也

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

TA关注的人

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