看来Cibai这个字眼不再粗俗，Microsoft现在用着这个字句作为研究方案的标题，是新技术，没错，就是Cibai - An abstract interpretation-based static analyzer for modular analysis and verification of Java classes。不晓得那里的开发团要是知道真正的意思会不会昏，呵呵！
参照这个网址 ： http://research.microsoft.com/apps/pubs/default.aspx?id=78035 (83字）
No comments:
Post a Comment