Frédéric Malésieux

	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-

Coauthor Index

1	Patrice Boizumault	[1] [2] [3] [4]
2	Olivier Ridoux	[1] [2] [3] [4]