Probabilistic rewrite strategies. Applications to ELAN

Olivier Bournez 1 Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Recently rule based languages focussed on the use of rewriting as a modeling tool which results in making specifications executable. To extend the modeling capabilities of rule based languages, we explore the possibility of making the rule applications subject to probabilistic choices. We propose an extension of the Elan strategy language to deal with randomized systems. We argue through several examples that we propose indeed a natural setting to model systems with randomized choices. This leads us to interesting new problems, and we address the generalization of the usual concepts in abstract reduction systems to randomized systems.
Type de document :
Communication dans un congrès
S. Tison. 13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, Springer, 2378, pp.252-266, 2002, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100883
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:52:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00100883, version 1

Collections

Citation

Olivier Bournez, Claude Kirchner. Probabilistic rewrite strategies. Applications to ELAN. S. Tison. 13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, Springer, 2378, pp.252-266, 2002, Lecture Notes in Computer Science. 〈inria-00100883〉

Partager

Métriques

Consultations de la notice

75