First Page | Document Content | |
---|---|---|
![]() Date: 2006-07-26 21:44:02Mathematics Data management Complexity classes NP Pointer analysis Pointer Abstraction Formal verification Shape analysis Theoretical computer science Static program analysis Applied mathematics | Add to Reading List |