Skip to content

Microsoft新科技: Cibai

今天, 在读Josh Lim的博客看到这文章: Microsoft Cibai!

Microsoft Cibai

Microsoft Cibai

众所周知, Cibai是我们华人口中的女性性器官. 通常是我们拿来骂人的呀!
怎么Microsoft这次会这么笨呢? 难道他们就没有华人程序员吗? :P
Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
Francesco Logozzo
1 January 2007
We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons.
We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.
真想去认识这位Francesco Logozzo呀! 我想当这系统在亚洲发行时, 就不知道有多少人会说”Cibai坏了! Cibai当了, 不动了!” :twisted:
  • Share/Bookmark

相关文章:

  1. Outlook Error – Cannot delete this folder, The folder is full

Posted in 电脑篇.

Tagged with , .

2 comments

By 史努比武士 – 2009-06-17

2 Responses

Stay in touch with the conversation, subscribe to the RSS feed for comments on this post.

  1. bec bec says

    LOL so you will hear dialogue from fighting couple, hubby will say : “everyday i back office also face to -Cibai- and back home you gimme see #ibai face, i will get heart attack coz of all Cibais!” 8)

    2009-06-19, 23:00:04 Reply
  2. Sonic Phoon Wing Hoe Sonic Phoon Wing Hoe says

    hahahahahahahaha! i’m loose my emo already…

    :)) :)) :)) :)) :)) :)) :)) :)) :)) :))

    2010-02-19, 16:55:53 Reply



Some HTML is OK

or, reply to this post via trackback.

^:)^ [lol] [:D] [:-] [-X [-O: [-( X( I-) ;)) ;) :| :xlist: :xknow: :x :whew: :twisted: :thumbup: :thumbdown: :think: :sigh: :roll: :p :oops: :o :mrgreen: :lovx :lovb :lol: :idea: :hug: :green: :evil: :devil: :cry: :come: :clap: :arrow: :Y: :P: :P :O :D :?: :? :-w :-* :-$ :)) :) :(|) :(( :( :!: 8O 8) (:| $-)
« »