Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM; 2002:58-70. doi:10.1145/503272.503279
View
| DOI