Sesungguhnya sebuah pemikiran itu akan berhasil diwujudkan manakala kuat rasa keyakinan kepadanya, ikhlas dalam berjuang dijalannya, semangat dalam mereali-sasikannya, dan kesiapan untuk beramal serta berkorban dalam mewujudkannya.
Keempat rukun ini, yakni iman, ikhlas, semangat dan amal merupakan karakter yang melekat pada pemuda. Kerana sesungguhnya dasar keimanan itu adalah nurani yang menyala, dasar keikhlasan adalah hati yang bertakwa, dasar semangat adalah perasaan yang menggelora dan dasar amal adalah kemauan yang kuat. Hal itu semua tidak terdapat kecuali pada diri para pemuda

(Hasan Al-Banna)

Jun 2, 2009

Cibai!!

If you don’t already already know, Microsoft has a research project called ‘Cibai’ (link). Apparently, its “an abstract interpretation-based static analyzer for modular analysis and verification of Java classes”.

So today I present you this book:

cibai_for_dummies

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.

News dari Microsoft: Here


So What do u think eh??Then look at this..hahaha..


Ada yang lebih real di dalam..

Sumber OhTidak.com dan zestful

No comments: