Formal Verification of Borrow-Checking by Local Commutation Diagrams

HAL (Le Centre pour la Communication Scientifique Directe) 2026 Open access

Read full text
Authors: Alban Reynaud Michez
Cited by: 0

Fields of Study & Subjects

Advanced Algebra and Logic Formal Methods in Verification Logic programming and type systems

Publication details

Journal / source
HAL (Le Centre pour la Communication Scientifique Directe)
Publication date
27 January 2026
Language
EN