Normal view MARC view ISBD view

Abstraction de traces en analyse statique et transformations de programmes = Traces abstraction in static analysis and program transformation / Xavier Rival

Langue :de résumé, Français.Publication : Paris : Ecole normale supérieure, 2005Description : XII-300 p. : Ill. ; 24 cmThèse : .Sujet : ANALYSE SEMANTIQUE ;COMPILATION ;Transformation de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
05 RIV Sur demande CRI05870D

Bibliogr. p. 265-277

Th. doct. Informatique Ecole polytechnique 2005

Powered by Koha