|
 
|
P. Manoury
Publications
2002
- [ACC02] M. Aponte, E. Chailloux, G. Cousineau, P. Manoury. "Advanced programming features in objective caml.", 6eme Brazilian Symposium on Programming Languages. -- Rio de Janeiro, January 2002,
Conférence Internationale avec comité de lecture
1994
- [MS94] P. Manoury, M. Simonot. " Automatizing termination proofs of recursively defined functions", Theoretical Computer Science, vol. 135, pp. 319 - 343, 1994
Revue Internationale avec comité de lecture
1993
- [MS93] P. Manoury, M. Simonot. "A programming language with proofs", Logic Programming and automated reasonning, January 1993, Vol. 624, Series LNCS ,
