Location Types for Safe Programming with Near and Far References.
| Autor: | Welsch, Yannick, Schäfer, Jan, Poetzsch-Heffter, Arnd |
|---|---|
| Zdroj: | Aliasing in Object-Oriented Programming. Types, Analysis & Verification; 2013, p471-500, 30p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|