Work

Formal Verification of Borrow-Checking by Local Commutation Diagrams

Year: 2026

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Author: Reynaud Michez, Alban

Institutions: Verimag, Université Grenoble Alpes

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Awards: G1190173965, G2121614283, G292453335, Improving Software Systems Security Evaluation

OpenAlex ID: W7117396341

FWCI:

Cites:

Cited by:

Related to: