Commits

Jacques-Pascal Deplaix committed b09102e

Add references in the paper, reformulate a sentence and add macaque as an inspiration

Comments (0)

Files changed (1)

     problèmes mentionnés précédemment, est qu'il propose un moyen d'éviter un
     certain nombre d'erreurs grâce au système de types d'OCaml.
 
-    Le projet s'inspire en masse au projet TyXML. On s'articule donc autour de
-    la puissance du système de type d'OCaml (typage, variant polymorphes, GADT)
-    pour pouvoir générer du code LLVM-IR dont une analyse statique aura déjà
-    était faite.
+    Le projet s'inspire de projets telle que TyXML [3] ou MaCaQue [4].
+    On s'articule donc autour de la puissance du système de type d'OCaml
+    (typage, variant polymorphes, GADT) pour pouvoir générer du code LLVM-IR
+    dont une analyse statique aura déjà était faite.
 
 Le Projet:
-    LLVM-IR s'articule autour de 2 modules. L'un correspond à proprement parler 
+    LLVM-IR s'articule autour de 2 modules. L'un correspond à proprement parler
     du code LLVM-IR tandis que l'autre offre une abstraction aux données associées
     à leurs types. En combinant les deux, on parvient à déceler des erreurs de
     types basiques.
 
     LLVM:
 
-    Le module LLVM s'organise sur 3 niveau. Une implémentation semblable en Coq
+    Le module LLVM s'organise sur 3 niveau. Une implémentation semblable en Coq [2]
     valide cette prise de position. Il s'agit, au premier niveau, de pouvoir
     définir des variables globales ou des fonctions mais aussi de pouvoir
     déclarer des fonctions externes. Le deuxième niveau correspond à la définition
 
 Références:
     [1]: https://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/llvm/llvm.mli?view=markup
+    [2]: https://github.com/coq-ext-lib/coq-compile/blob/master/src/coq/LLVM.v
+    [3]: https://ocsigen.org/tyxml/
+    [4]: https://forge.ocamlcore.org/projects/macaque/