JFLA 2009: Saint Quentin sur Isère, France

> Home > Conferences and Workshops > JFLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/2009
Alan Schmitt:
JFLA 2009, Vingtièmes Journées Francophones des Langages Applicatifs, Saint Quentin sur Isère, France, January 31 - February 3, 2009. Proceedings. Studia Informatica Universalis 7.2, 2009, ISBN 978-2-7056-6917-1
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/ParigotS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/ParigotS09
Didier Parigot, Bernard P. Serpette:
Qui sème la fonction, récolte le tuyau typé. JFLA 2009: 225-244
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Signoles09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Signoles09
Julien Signoles:
Foncteurs impératifs et composés: la notion de projets dans Frama-C. JFLA 2009: 245-280
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Saiu09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Saiu09
Luca Saiu:
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle. JFLA 2009: 281-316
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/RusuC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/RusuC09
Vlad Rusu, Manuel Clavel:
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. JFLA 2009: 317-350
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Maingaud09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Maingaud09
Séverine Maingaud:
Un modèle de l'assistant à la preuve: PAF! JFLA 2009: 351-382
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Glondu09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Glondu09
Stéphane Glondu:
Extraction certifiée dans Coq-en-Coq. JFLA 2009: 383-410
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/MandelP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/MandelP09
Louis Mandel, Florence Plateau:
Abstraction d'horloges dans les systèmes synchrones flot de données. JFLA 2009: 411-444
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/Guesdon09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/Guesdon09
Maxence Guesdon:
Fouille au code OCaml par analyse de dépendances. JFLA 2009: 445-476
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfla/BardouFKL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfla/BardouFKL09
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
Faire bonne figure avec Mlpost. JFLA 2009: 477-507

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.