Un système de types pour la programmation par réécriture embarquée
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques d...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Henri Poincaré - Nancy I
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00702301 http://tel.archives-ouvertes.fr/docs/00/70/23/01/PDF/ClaudiaTavares-These.pdf http://tel.archives-ouvertes.fr/docs/00/70/23/01/ANNEX/phddefense.pdf |