Towards a Rule-Based Approach for Deriving Abstract Domains
- Jurjo, D.
- Morales, J.F.
- López-García, P.
- Hermenegildo, M.V.
ISSN: 2075-2180
Année de publication: 2023
Proceedings - 39th International Conference on Logic Programming, ICLP 2023
Volumen: 385
Pages: 55-56
Type: Communication dans un congrès