| |
| 1999 | ||
|---|---|---|
| 4 | Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux: Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. Fuji International Symposium on Functional and Logic Programming 1999: 267-283 | |
| 3 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. JFPLC 1999: 55-72 | |
| 1998 | ||
| 2 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Abstract Compilation of lambda-Prolog. IJCSLP 1998: 130-144 | |
| 1 | Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault: Compilation abstraite de LambdaProlog. JFPLC 1998: 287- | |
| 1 | Patrice Boizumault | [1] [2] [3] [4] |
| 2 | Olivier Ridoux | [1] [2] [3] [4] |