#### Filter Results:

- Full text PDF available (18)

#### Publication Year

2000

2017

- This year (1)
- Last 5 years (10)
- Last 10 years (23)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Julien Cervelle, Enrico Formenti
- STACS
- 2003

- Julien Cervelle, Bruno Durand
- STACS
- 2000

- Julien Cervelle, Rémi Forax, Gilles Roussel
- Comput. Sci. Inf. Syst.
- 2007

This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusable libraries of grammars such as those of arithmetic expressions or of classical control operators. The aim of this feature is to simplify the development of domain specific… (More)

- Matej Crepinsek, Tomaz Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel
- Comput. Sci. Inf. Syst.
- 2010

Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions and to experiment, on several grammars of domain specific languages and of general-purpose languages, existing grammar metrics together with the new metrics that are based on grammar LR… (More)

- François Blanchard, Julien Cervelle, Enrico Formenti
- Theor. Comput. Sci.
- 2005

- Julien Cervelle, Alberto Dennunzio, Enrico Formenti
- Encyclopedia of Complexity and Systems Science
- 2009

- Julien Cervelle, Pierre Guillon
- MFCS
- 2007

The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of problems over trace subshifts of cellular automata.

- Julien Cervelle, Rémi Forax, Gilles Roussel
- PPPJ
- 2006

This paper presents Tatoo, a new parser generator. This tool, written in Java 1.5, produces lexer and bottom-up parsers. Its design has been driven by three main concerns: the ability to use the parser with the non-blocking IO API; the possibility to simply deal with several language versions; a clean separation between the lexer definition, the parser… (More)

- Julien Cervelle, Enrico Formenti, Pierre Guillon
- ArXiv
- 2007

The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. In this paper we study conditions for a sofic subshift to be the trace of a cellular automaton.

- Julien Cervelle, Enrico Formenti, Benoît Masson
- MFCS
- 2005

We prove several results about the relations between injectivity and surjectivity for sand automata. Moreover, we begin the exploration of the dynamical behavior of sand automata proving that the property of ultimate periodicity is undecidable. We believe that the proof technique used for this last result might turn out to be useful for many other results… (More)