Dynamic Optimistic lnterprocedurai Analysis: A framework and an application
- Igor Pechtchanski
- Vivek Sarkar
- 2011
- ACM SIGPLAN Notices
Paper
Publications
3 results for Igor Pechtchanski
Immutability specification and its applications
- Igor Pechtchanski
- Vivek Sarkar
- 2005
- CCPE
PaperImmutability specification and its applications
- Igor Pechtchanski
- Vivek Sarkar
- 2002
- JGI 2002
Conference paper