Il y a 1 Résultats avec le mot clé : "Oracles"
Séminaire des équipes de recherche
Program differences are pervasive in software development, but most of the time they are represented as textual differences with no regards to the syntactic nature of programming languages or their semantics. Thus, they may be hard to read and often fail to convey insight on the changes on semantics. Furthermore, such low-level, unstructured presentations are hard to reason about.
Lieu : Inria Paris - 2 rue Simone Iff - Salle Lions 1, bâtiment C
Intervenant(s) : Thibaut Girka (Université Paris Diderot)