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