Seguir
Ignacio Tiraboschi
Ignacio Tiraboschi
PhD Student, ENS Paris - INRIA
Dirección de correo verificada de inria.fr
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3