Volgen
Ignacio Tiraboschi
Ignacio Tiraboschi
PhD Student, ENS Paris - INRIA
Geverifieerd e-mailadres voor inria.fr
Titel
Geciteerd door
Geciteerd door
Jaar
Sound symbolic execution via abstract interpretation and its application to security
I Tiraboschi, T Rezk, X Rival
International Conference on Verification, Model Checking, and Abstract …, 2023
12023
Generalización de meta-programas con tipado dependiente en Mtac2
I Tiraboschi
FAMAF, UNC, 2020
2020
Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2
I Tiraboschi, JO Kaiser, B Ziliani
Workshop on Type-driven Development (TyDe), 2020
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3