Mot de passe oublié ?

Blogs sur: Dynamic Analysis

Blog vedette

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 : Extrapol, In English | en Anglais, Informatique - Computer Science, Java, OCaml, Recherche / Research, Sûreté / Security, C#, coding

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Recherche / Research, Sûreté / Security, abstract interpretation, Compilation, compiler, Debug, Dependent Types, IO


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS