Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Laurent Hascoët
Laurent Hascoët
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Transformations automatiques de spécifications sémantiques : application : un vérificateur de types
Directed Thesis:
Conception et validation d'algorithmes de remaillage parallèles à mémoire distribuée basés sur un remailleur séquentiel
Approaches to assess validity of derivatives and to improve efficiency in automatic differentiation of programs
Factorisation de sous-programmes. Integration dans un outil de transformation de codes fortran77