IEEE/ACM Program Committee看见一位中国成员:梅宏---北京大学信息科学技术学院院长、软件研究所所长 A utomated reasoning techniques Component-based systems Computer-supported cooperative work Configuration management Domain modelling and meta-modelling Empiri ...
引自:http://neugierig.org/software/blog/2011/04/complexity.html I'm almost through my seventh year working at Google(!). I have learned many things there, more than I could ever write down. I thought I would at least share with you something that's only come to me with more experience. ...
For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library . ...
AspectML - Aspect-oriented Functional Programming Language Research Princeton University University of Pennsylvania Objectives Our research is to extend fun ...