Publications

3 results for Igor Pechtchanski

Dynamic Optimistic lnterprocedurai Analysis: A framework and an application
- - Igor Pechtchanski
  - Vivek Sarkar
- 2011
- ACM SIGPLAN Notices
Immutability specification and its applications
- - Igor Pechtchanski
  - Vivek Sarkar
- 2005
- CCPE
Immutability specification and its applications
- - Igor Pechtchanski
  - Vivek Sarkar
- 2002
- JGI 2002