Strong Update, Disposal, and Encapsulation in Bunched Typing
| Autor: | Berdine, Josh, O'Hearn, Peter W. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 5 May 2006 158:81-98 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Berdine, Josh, O'Hearn, Peter W. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 5 May 2006 158:81-98 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect