-
类型理论
-
2013-6-12 08:25
-
- 类型系统的研究与进展 *** 类型系统的研究与进展 周晓聪 计算机科学 2008 - cnblog markdown 类型系统的研究与进展_周晓聪.pdf
-
个人分类: Formal method|2592 次阅读|没有评论
-
review: COORDINSPECTOR: a tool for extracting coordination
-
2013-6-6 21:04
-
COORDINSPECTOR: a tool for extr a cting coordin a tion d a t a from leg a cy code Nuno F. Rodrigues Eighth IEEE International Working Conference on Source Code Analysis and Manipulation Abstract— More and more current softwar ...
-
个人分类: Software|2278 次阅读|没有评论
-
review: New software composition concepts
-
2013-6-3 08:05
-
Preface New software composition concepts Science of Computer Programming 56 (2005) 1–4 EU funded project EASYCOMP The goal of EASYCOMP: to provide composition technology to support the enduser on all levels easing the task of constructing systems f ...
-
个人分类: Software|2629 次阅读|没有评论
本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏