Work

Interaction Trees and Verified Compilation (Extended Abstract)

Year: 2025

Type: conference-paper

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

Authors: Torrini, Paolo, Gregoire, Benjamin

Institution: SPLITS: Languages de Programmation Sécures et Outils pour la Sécurité

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7127558506

FWCI:

Cites:

Cited by:

Related to: