Vers un langage synchrone sûr et securisé
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures m...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2013NICE4148/document |