1995 | ||
---|---|---|
4 | A. El Faker, Christiane Massoutie, Marc Pantel, Patrick Sallé: Vers une machine virtuelle pour l'évaluation des langages d'acteurs. LMO 1995: 221-240 | |
1989 | ||
3 | Marcel Gandriau, Christiane Massoutie: Classes et Types: aides à la programmation en logique. SPLT 1989: 57-70 | |
1986 | ||
2 | Patrick Sallé, Christiane Massoutie, Marcel Gandriau: Un langage logique orienté objet. SPLT 1986: 401- | |
1984 | ||
1 | Christiane Massoutie, Patrick Sallé: Une autre interprétation top down des clauses de Horn: interface avec une base de données. SPLT 1984 |
1 | A. El Faker | [4] |
2 | Marcel Gandriau | [2] [3] |
3 | Marc Pantel | [4] |
4 | Patrick Sallé | [1] [2] [4] |