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
Año de publicación: 2023
Proceedings - 39th International Conference on Logic Programming, ICLP 2023
Volumen: 385
Páginas: 55-56
Tipo: Aportación congreso