Brigitte Pientka

Explorer de nouvelles méthodes pour la sécurité des communications dans les systèmes informatiques en utilisant des types de session.

Un aperçu de la logique adjoint et de ses applications en programmation et en calcul.

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.