Je pense que quand il dit « sécurité absolue », il veut dire « pas de buffer overflow, pas de pointeur ailleurs que sur des objets alloués, ... », ce qui est le cas en C# et en Java par exemple, donc je suppose aussi en Sing#. Par exemple, un thread ne peut pas aller écrire dans la mémoire d'un autre sans avoir qu'il y ai eu d'échanges explicites d'information (alors qu'en C, tu peux essayer de deviner une adresse et d'aller écrire dessus sans problème).
[^] # Re: Contrat
Posté par Matthieu Moy (site web personnel) . En réponse au journal La vengeance de Tanenbaum. Évalué à 4.