Abstract interpretation of temporal concurrent constraint programs
| Title | Abstract interpretation of temporal concurrent constraint programs |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Falaschi, M, Olarte, C, Palamidessi, C |
| Journal | Theory and Practice of Logic Programming |
| Volume | 15 |
| Pagination | 312–357 |
| URL | http://dx.doi.org/10.1017/S1471068413000641 |
| DOI | 10.1017/S1471068413000641 |
Work Package:
WP3
