View Document Preview and Link Document Date: 2006-07-26 21:44:02 Open Document File Size: 187,65 KB Share Result on Facebook
City Portland / / Company IBM / UR LC / Intel / / Country United States / / Currency USD / / / IndustryTerm verification algorithms / precise solution / text search engine / flow-insensitive solution / context-sensitive allocation site / flow-insensitive points-to solution / online auction tool / focus algorithms / typestate checking algorithm / allocation site / / OperatingSystem Windows XP / Microsoft Windows / / Organization U.S. Securities and Exchange Commission / Eran Yahav∗ Nurit Dor† Emmanuel Geay∗ IBM T.J. Watson Research Center / G. Ramalingam∗ IBM Haifa Research Lab / / Person Emmanuel Geay / Eran Yahav∗ Nurit Dor / Stephen Fink / / / Position cto / General / sockets.head / / Product Apache / Algorithm Our verification system / Algorithm Our / / ProgrammingLanguage Java / / ProvinceOrState Maine / / TVStation WVUT / / Technology focus algorithms / API / following verification algorithms / search engine / typestate checking algorithm / Java / simulation / GUI / / URL http / SocialTag 
Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor†