Search

Displaying 5 results.
  1. Intelligent grading of programming exercises in a MOOC
    By : Dumoulin, Mehdi[UCL] Directed by : Van Roy, Peter[UCL] Combéfis, Sébastien[UCL] (2015) Ecole polytechnique de Louvain

  2. A formal proof for Speculative Snapshot Isolation
    By : d'Oreye de Lantremange, Sébastien[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

  3. NewOz : steps toward a modern syntax for the Oz programming language
    By : Vandenbussche, Martin[UCL] Directed by : Van Roy, Peter[UCL] (2021) Ecole polytechnique de Louvain