Actes des JFLA'2000

31 janvier - 1 février 2000 Mont Saint-Michel (France)

• Avant propos (ici)
• Sommaire (ici)
• Conférence invitée Génération automatique de séquences de tests à partir de descriptions Lustre : GATeL Bruno Marre, Agnès Arnould (Université de Paris-Sud, CNRS-LRI et Université de Poitiers, SP2MI) (ici)
• Traitement paresseux et optimisation des suites numériques Jerzy Karczmarczuk (Université de Caen) (ici)
• Opérateurs de raffinement sur les structures algébriques Sylvain Boulmé (Université Paris 6, LIP6) (ici)
• Affichage générique d'arbres à l'aide de la géométrie hyperboliqueAlexandre Miquel (INRIA Rocquencourt) (ici)
• Modélisation et vérification de systèmes intégrés asynchrones dans le langage synchrone Lustre : application aux systèmes avioniques Frédéric Boniol, Gérard Bel, Jack Foiseau (ONERA-CERT) (ici)
• Safe value I/O in Caml J. Furuse, P. Weis (INRIA Rocquencourt) (ici)
• Un cadre pour la définition récursive des structures de données Jean-Louis Giavitto, Olivier Michel (Université de Paris-Sud, CNRS-LRI et Université d'Evry LaMI) (ici)
• Un compilateur CAML -> SYNDEX pour les applications de traitement de signal temps-réel distribués Jocelyn Serot (Université de Clermont, LASMEA) (ici)
• Conférence invitée Coalgebraic Techniques for Reactive Functional Programming Richard Kieburtz (Oregon Graduate Institute) (ici)
• Méthodologie de développement d'un outil d'évaluation de la sûreté du logiciel en OCaml Philippe Ayrault, Thérèse Hardin, Maxence Guesdon (SURLOG et Université Paris 6, LIP6) (ici)
• Ingénierie de preuve Olivier Pons (Institut d'Informatique d'Entreprise, Cedric) (ici)
• Buildoo Marco Superina (Université de Nice Sophia Antipolis) (ici)