Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs
Cette thèse décrit une nouvelle approche pour la méta-programmation sûre. Un méta-programme est un programme qui manipule des programmes ou assimilés. Les compilateurs et systèmes de preuves sont de bons exemples de méta-programmes qui bénéficieraient de cette approche. Dans ce but, ce travail se co...
Internet
http://tel.archives-ouvertes.fr/tel-00759059http://tel.archives-ouvertes.fr/docs/00/75/90/59/PDF/PhD-thesis-latest.pdf
http://tel.archives-ouvertes.fr/docs/00/75/90/59/ANNEX/phd-defense-slides-en.pdf
http://tel.archives-ouvertes.fr/docs/00/75/90/59/ANNEX/phd-defense-slides.pdf
http://tel.archives-ouvertes.fr/docs/00/75/90/59/ANNEX/posterDIGITEO-improved.pdf
http://tel.archives-ouvertes.fr/docs/00/75/90/59/ANNEX/PhD-thesis-latest-black-and-white.pdf