Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Xavier Rival

Xavier Rival

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données
Shape abstractions with support for sharing and disjunctions
Static analysis on numeric and structural properties of array contents