Work

Termination Resilience Static Analysis

Year: 2026

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-15700-3_11

Authors: Naïm Moussaoui Remil, Caterina Urban

Institutions: Institut national de recherche en sciences et technologies du numérique, Université Paris Sciences et Lettres, École Normale Supérieure - PSL, Département d'Informatique, ANTIQUE: Analyse Statique par Interprétation Abstraite

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4417090953

FWCI: 9.199

Cites: 31

Cited by: 1

Related to: