Nested refinements.
| Autor: | Chugh, Ravi, Rondon, Patrick M., Jhala, Ranjit |
|---|---|
| Zdroj: | Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium: Principles of Programming Languages; Jan2012, p231-244, 14p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Chugh, Ravi, Rondon, Patrick M., Jhala, Ranjit |
|---|---|
| Zdroj: | Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium: Principles of Programming Languages; Jan2012, p231-244, 14p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|