Towards a Rule-Based Approach for Deriving Abstract Domains

  1. Jurjo, D.
  2. Morales, J.F.
  3. López-García, P.
  4. Hermenegildo, M.V.
Konferenzberichte:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Datum der Publikation: 2023

Proceedings - 39th International Conference on Logic Programming, ICLP 2023

Ausgabe: 385

Seiten: 55-56

Art: Konferenz-Beitrag

DOI: 10.4204/EPTCS.385.6 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus