类型理论

江东明 2013-6-12 08:25

- 类型系统的研究与进展 *** 类型系统的研究与进展 周晓聪 计算机科学 2008 - cnblog markdown 类型系统的研究与进展_周晓聪.pdf

个人分类: Formal method|2593 次阅读|没有评论

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|2281 次阅读|没有评论

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|2631 次阅读|没有评论

本页有 7 篇博文因作者的隐私设置或未通过审核而隐藏