Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072607
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 10:23:05 AM
Last modification on : Saturday, October 3, 2020 - 3:19:00 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:17:15 PM

Identifiers

  • HAL Id : inria-00072607, version 1

Citation

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

Share

Metrics

Record views

235

Files downloads

114