Junior Automata

Frédéric Boussinot 1, 2
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : One describes the way to produce finite states machines from programs written in Junior, a formalism for reactive programming in Java. The paper proposes the notion of a partial automaton for dealing with large size numbers of states.
Type de document :
Rapport
[Research Report] RR-4031, INRIA. 2000, pp.23
Liste complète des métadonnées

https://hal.inria.fr/inria-00072607
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:23:05
Dernière modification le : vendredi 12 janvier 2018 - 01:51:27
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:17:15

Fichiers

Identifiants

  • HAL Id : inria-00072607, version 1

Citation

Frédéric Boussinot. Junior Automata. [Research Report] RR-4031, INRIA. 2000, pp.23. 〈inria-00072607〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

69