Blogs sur: Analyse Statique

Blog vedette

Post-doctorat en langages de programmation

L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un poste de post-doctorat dans le domaine de l… la suite →

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

Post-doctorat en langages de programmation

yoric wrote 10 months ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : En Français | in French, Enseignement, Informatique - Computer Science, OCaml, Recherche / Research, Sûreté / Security, algèbre réduite, algèbres de processus, Applications Web

JStify -- Appel à commentaires — 1 comment

yoric wrote 1 year ago: Ce billet est une description de JStify, un outil que je suis en train de développer. Une fois compl … more →

Mots-clefs : En Français | in French, Informatique - Computer Science, JStify, Recherche / Research, Sûreté / Security, firefox, javascript, OCaml, Science


Have your say. Start a blog.

See our free features →

Tags connexes
Tout →

Suivre cette étiquette via RSS

Rechercher d'autres billets marqués “analyse-statique”:
Technorati Del.icio.us IceRocket