0 Comments
Francesco Logozzo
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.
Name: Gurlstrange
Email: nohandphone@gmail.com
MSN: Instead why not follow me on Twitter? :)
Mini Bio:U wanna noe a lil' something abt me? Well, I'm a girl.
Paranoid, pessimistic girl with near zero self-esteem. Works in the
digital media arena in a country so fond of traditional media. Wished she could sing like Christina, danced like Ciara, play the guitar like Steve Vai, play the trumpet like Louis Armstrong and play the drums like Mike Portnoy.
Collects Tamagotchi and finds nothing wrong with it because it makes her happy.
::MORE About Me::
Blood Type: AB+(RARE blood. I think I shud start donating my blood in case I need it in the future
Nicknames: Tweety(can u believe my frens?)
[Mental]
TV: Whose Line is it Anyway?|Desperate Housewives|Ugly Betty|America's Next Top Model|Spongebob Squarepants|Punk'D|Ellen Degeneres|Heroes
Movie: CHICAGO|Pirates of the Caribbean|Transformers|The Green Mile|Sweener Todd
Books: Neil Gaiman - Neverwhere
Tom Savage - Valentine
Music: Anything goes..rock,classical,hip-hop,R&B..
Game: Baldur's Gate 2| Diner Dash| Granado Espada
Food: There's too many food I love!
Drink: Too many to list lah deh
Character: Emily Strange|Spongebob!
China girl rolled her eyes at me!?
David Gan the Himbo
Singapore's RETARDED
The shredding machine
TK Band's LOST. Deyi's win. My thoughts...
My last day of school FOREVER
Sleeping: A graphic representation
By 2008
By 2009
New PC set
By 2010
Canon Camcorder
Mini Cooper/Honda Accord Sedan