Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Welcome to the Ninth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020). The workshop took place virtually (online) on November 17, 2020 as a satellite event to the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
New York :
Association for Computing Machinery
2020.
|
| Colección: | ACM Conferences
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714204706719 |
| Sumario: | Welcome to the Ninth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020). The workshop took place virtually (online) on November 17, 2020 as a satellite event to the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2020). |
|---|---|
| Descripción Física: | 1 online resource (21 pages) : illustrations |
