Résolution d'équations en algèbre de Kleene : applications à l'analyse de programmes
Au fil des ans, l'algèbre de Kleene s'est avérée être un outil formel très pratique et flexible quant vient le temps de raisonner sur les programmes informatiques. Cependant, actuellement, la plupart des applications à l'analyse de programmes de l'algèbre de Kleene se font en sél...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | French |
| Published: |
Université Laval
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/20710 |