Articles



Poster: deep specification and verification of SQL compilation chain

Ce document est un poster que j'ai réalisé et qui a été présenté par Raphaël Cornet à la Junior Conference on Data Science and Engineering 2017. Il porte sur le travail effectué au cours de mon stage Vérification de compilation de requêtes SQL à base de traces, ainsi que sur les stages de Raphaël Cornet et d'Eunice Martins.

Un pdf est disponible ici. Le code source .

Rapport de stage: vérification de compilation de requêtes SQL à base de traces

Ce document est un rapport de mon stage Vérification de compilation de requêtes SQL à base de traces, effectué dans le cadre de ma formation en Magistère 1 à l'Université Paris-Sud. Ce stage s'est déroulé sous la direction conjointe de Véronique Benzaken, Évelyne Contejean et Chantal Keller.

Un pdf est disponible ici. Le code source .

Ce n'est pas très long, j'aurais aimé faire plus compte tenu des choses que j'avais à dire, mais la consigne indiquait un maximum de cinq pages, nombre déjà dépassé avec cette version en trichant avec les annexes...




Retour en haut.