Parcourir l'index des titres "Computation over partial information : a principled approach to accurate partial evaluation"
Voici les éléments 1-1 de 1
-
Computation over partial information : a principled approach to accurate partial evaluation
(2022-03-16)On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ...