Paul Jacquet

According to our database, Paul Jacquet authored at least 4 papers between 1978 and 1991.

Collaborative distances:

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

1991

Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.

Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1988

Program Synthesis by Completion with Dependent Subtypes.

Paul Jacquet

Proceedings of the 9th International Conference on Automated Deduction, 1988

1986

Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).

Paul Jacquet, Marie-Laure Potet

Proceedings of the Advances in Artificial Intelligence II, 1986

1978

Les Types génériques : propositions pour un mécanisme d'abstraction dans les langages de programmation.

Paul Jacquet

PhD thesis, 1978