| dc.creator | Wise J., Bader J., Wong C., Aldrich J., Tanter É., Sunshine J. | |
| dc.date.accessioned | 2022-12-27T15:47:39Z | |
| dc.date.accessioned | 2023-05-19T03:15:44Z | |
| dc.date.available | 2022-12-27T15:47:39Z | |
| dc.date.available | 2023-05-19T03:15:44Z | |
| dc.date.created | 2022-12-27T15:47:39Z | |
| dc.date.issued | 2020 | |
| dc.identifier | 24751421 | |
| dc.identifier | 10.1145/3428296 | |
| dc.identifier | https://repositorio.uchile.cl/handle/2250/191116 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/6298469 | |
| dc.language | en | |
| dc.publisher | Association for Computing Machinery | |
| dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/cl/ | |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Chile | |
| dc.source | Proceedings of the ACM on Programming Languages | |
| dc.title | Gradual verification of recursive heap data structures | |
| dc.type | Artículo de revista | |
