Sites Inria

English version

Séminaire Prosecco

Séminaire Prosecco - SyTeCi: Automating contextual equivalence for higher-order programs with references

  • Date : 5/12/2018
  • Lieu : 2 rue Simone Iff 75012 - Salle Lions 1, bât C
  • Intervenant(s) : Guilhem Jaber
  • Organisateur(s) : Equipe Prosecco

SyTeCi: Automating contextual equivalence for higher-order programs with references

Guilhem Jaber, Université de Nantes

Cette conférence présentera SyTeCi, un outil pour vérifier l’équivalence contextuelle des programmes écrits en RefML.

Programme  : 

  • Notion d'équivalence contextuell
  • Difficulté de prouver de telles équivalences
  • Esquisse d'un modèle basé sur une reformulation opérationnelle de la sémantique du jeu
  • Présentation de SyTeCi
  • Présentation d'un prototype 
  • Poursuite du travail avec un langage avec polymorphisme

Mots-clés : Séminaire Prosecco SyTeCi Programme Langage

Haut de page

Suivez Inria