Jacques J. Arsac

发表

Some Techniques for Recursion Removal from Recursive Functions

Yves Kodratoff, Jacques J. Arsac, J. Arsac, 1982, TOPL.

Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 1991, 3rd International Conference, Universitad Autonoma de Barcelona, Spain, April 2 - May 5, 1991. Proceedings

Jacques J. Arsac, J. Arsac, 1991, RIAO.

Algorithmes pour Vérifier La Conjecture De Syracuse

Jacques J. Arsac, J. Arsac, 1987, RAIRO Theor. Informatics Appl..

La Fonction D'ackermann: Un Nouveau Mode de Dérécursivation

Jacques J. Arsac, 1986, RAIRO Theor. Informatics Appl..

Syntactic source to source transforms and program manipulation

Jacques J. Arsac, J. Arsac, 1979, CACM.

Langages sans Etiquettes et Transformations de Programmes

Jacques J. Arsac, 1974, ICALP.

Recherche des solutions d'une équation de convolution

Jacques J. Arsac, J. Arsac, 1962, IFIP Congress.

Foundations of programming

Jacques J. Arsac, 1985, A.P.I.C. Studies in data processing.

Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann

Jacques J. Arsac, J. Arsac, 1977, RAIRO Theor. Informatics Appl..

Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 1985, 1st International Conference, University of Grenoble, France, March 18-20, 1985. Proceedings

Jacques J. Arsac, J. Arsac, 1985, RIAO.