Refinement of Chemical Programs using Strategies

Pascal Fradet 1 Jean-Louis Giavitto 2 Marnes Hoff 3, 2
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
Type de document :
Communication dans un congrès
International workshop on strategies in rewriting, proving and programming, Jul 2010, Edimburg, United Kingdom. 2010
Liste complète des métadonnées

https://hal.inria.fr/hal-00667052
Contributeur : Pascal Fradet <>
Soumis le : lundi 6 février 2012 - 16:56:59
Dernière modification le : mercredi 11 avril 2018 - 01:53:59

Identifiants

  • HAL Id : hal-00667052, version 1

Collections

Citation

Pascal Fradet, Jean-Louis Giavitto, Marnes Hoff. Refinement of Chemical Programs using Strategies. International workshop on strategies in rewriting, proving and programming, Jul 2010, Edimburg, United Kingdom. 2010. 〈hal-00667052〉

Partager

Métriques

Consultations de la notice

351