Présentation de l'auteur Ranjit Jhala :

Livres publiés jusqu'à présent par Ranjit Jhala :

Types de raffinement : Un tutoriel - Refinement Types: A Tutorial

Les types de raffinement peuvent être le vecteur qui introduit la vérification formelle dans le...