Static analysis of program portability by abstract interpretation

Les logiciels tendent à être utilisés plus longtemps que prévu lors de leur conception, et dans une plus grande variété d'environnements. L'adaptation d'un logiciel à de nouvelles utilisations peut s'avérer difficile et coûteuse. Assurer la portabilité des programmes est un enjeu...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Delmas, David
Format:	Dissertation
Sprache:	eng
Schlagworte:	Abstract interpretation Analyse statique Interprétation abstraite Logiciel Méthodes formelles Portability Portabilité Static analysis Vérification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!