Sites Inria

Il y a 2 Résultats avec le mot clé : "Safety"

Sécurité

Infosecurity France

15/11/2010

The exhibition on Security in Information Technology and Communications Systems will take place on november 15th.

Lieu : Paris Expo Porte de Versailles 1 place de la Porte de Versailles Paris 15e

Mots-clés :

Accueil > Innovation > Agenda > Infosecurity France

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Séminaire Prosecco

12/04/2018

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. 

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 Paris, room Lions 2 - 11h00

Intervenant(s) : Arthur Azevedo de Amorim (CMU)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria