Mot de passe oublié ?

Blogs sur: S Expressions

Blog vedette

Extrapol, part 1: from C to Effects

Here comes the long-promised description of Extrapol, my main ongoing research project. In a few words, our objective with Extrapol is to fill a hole in the current suite of tools built to ensure the … la suite →

Il y a du thé renversé au bord de la table

Extrapol, part 1: from C to Effects

yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wor … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Static Analysis, Security


Tags connexes
Tout →

Suivre cette étiquette via RSS