HAL Id: inria-00202841
https://hal.inria.fr/inria-00202841
Submitted on 8 Jan 2008
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Gagner en passant à la corde
Jean-Christophe Filliâtre
To cite this version:
Jean-Christophe Filliâtre. Gagner en passant à la corde. JFLA (Journées Francophones des Langages
Applicatifs), INRIA, Jan 2008, Etretat, France. pp.139-152. �inria-00202841�
append
append
"une trè"
"s grand" "e chaîne"
×
× ×
× ×
s o n s[o..o+n−1] s
n o r1 r2 n
r1 r2 n r1 r2
→ i
→
→
App
s1 s2
App
s2 s1 App
s1
App
App
t1 s2 t2
→
→
→
→
→
→
i
c i
i c
×
×
→
→
→
→
→
→
→
→ →
→ →
→ → →
× ×
× ×
× ×
× ×
× →
n f n i (f i)
→ →
→ →
→
→ →
→
→
→
→
i
→
→
→
→
→