pi-heed: contraintes d'exécution pour pi avec TypeSafe Jev
Contraintes d'exécution pour l'agent de codage pi : vérifie chaque appel d'outil avec effet secondaire par rapport aux règles déclarées par l'utilisateur, propulsé par TypeSafe Jev. Comprend un benchmark détaillé et un journal d'expériences évaluant les décisions System One de Jev.