Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Formal verification / Pointer analysis / Shape analysis / Pointer / The Verifier / Abstract interpretation / IP / Theoretical computer science / Applied mathematics / Static program analysis


Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1
Add to Reading List

Document Date: 2010-01-27 15:57:10

Open Document

File Size: 361,48 KB

Share Result on Facebook

City

Portland / /

Company

IBM / Panaya Inc. / ACM Inc. / Microsoft / /

Country

India / /

Currency

USD / /

IndustryTerm

software quality / copyright/server / precise solution / software development lifecyle / allocation site / /

Organization

ERAN YAHAV IBM T. J. Watson Research Center / NURIT DOR1 IBM Haifa Research Lab / U.S. Securities and Exchange Commission / /

Person

STEPHEN J. FINK / ERAN YAHAV / EMMANUEL GEAY / /

Position

Author / sockets.head / General / /

Product

Algorithm Our verification system / Algorithm Our / /

ProgrammingLanguage

Java / /

ProvinceOrState

Maine / /

TVStation

WVUT / /

Technology

Java / API / /

SocialTag