Jean (19..-.... ; informaticien) Vuillemin
Œuvres (8)
Optimal disk merge patterns
Optimal disk merge patterns
1973
Correct and optimal implementations of recursion in a simple programming language
Correct and optimal implementations of recursion in a simple programming language
1973
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
1973
Design of optimal merge on direct access devices
Design of optimal merge on direct access devices
1973
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
1974
Semantics and axiomatics of a simple recursive language
Semantics and axiomatics of a simple recursive language
1974
Allocation optimale et quasi optimale de la mémoire centrale dans le tri par fusion sur disque
Allocation optimale et quasi optimale de la mémoire centrale dans le tri par fusion sur disque
1974
On the average number of registers required for evaluating arithmetic expressions
On the average number of registers required for evaluating arithmetic expressions
1977