Frédéric Malésieux

According to our database, Frédéric Malésieux authored at least 4 papers between 1998 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the JFPLC'99, 1999

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.

Olivier Ridoux, Patrice Boizumault, Frédéric Malésieux

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Compilation abstraite de LambdaProlog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the JFPLC'98, 1998

Abstract Compilation of lambda-Prolog.

Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998