Brigitte Pientka

Les types de session permettent une communication structurée entre les composants du système pour une meilleure fiabilité.

Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.

Tyro améliore l'identification des erreurs de type pour les programmeurs, surtout les débutants.

Présentation d'un cadre pour une génération de code sûre et efficace.