Différentiation automatique et formes de Taylor en analyse statique de programmes numériques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Fichier non déposé

Dates et versions

hal-00819434 , version 1 (01-05-2013)

Identifiants

  • HAL Id : hal-00819434 , version 1

Citer

Alexandre Chapoutot, Matthieu Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Conférence sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2007, Namur, Belgique. pp.261-280. ⟨hal-00819434⟩
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More