An Executable Formal Semantics of C with Applications
24 Jul
2012
24 Jul
'12
13:39
L'article est à paraître à POPL2012 et est intéressant. Je pense que Vincent y trouverait quelquechose à glaner. Discussion sur Lambda-the-Ultimate: http://lambda-the-ultimate.org/node/4571 Erick
Afficher les réponses par date
5066
Âge (en jours)
5066
Dernière activité (en jours)
0 commentaires
1 participants
participants (1)
-
Erick Lavoie