Seuraa
Ignacio Tiraboschi
Ignacio Tiraboschi
PhD Student, ENS Paris - INRIA
Vahvistettu sähköpostiosoite verkkotunnuksessa inria.fr
Nimike
Viittaukset
Viittaukset
Vuosi
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3