Παρακολούθηση
Ignacio Tiraboschi
Ignacio Tiraboschi
PhD Student, ENS Paris - INRIA
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα inria.fr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–3