Braine, Julien, 1993-....
VIAF ID: 44166596411917590002 ( Personal )
Permalink: http://viaf.org/viaf/44166596411917590002
Preferred Forms
Works
Title | Sources |
---|---|
The Data-abstraction Framework : abstracting unbounded data-structures in Horn clauses, the case of arrays | |
La Méthode Data-abstraction : une technique d’abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux. |