Вы здесь

Ridoux O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifying Prolog Trace Models with a Continuation Semantics 2001 Jahier E., Ducasse M., Ridoux O. Lecture Notes in Computer Science 23.06.2001
СТ Abstract compilation of LambdaProlog 1998 Malesieux F., Ridoux O., Boizumault P. Logic Programming 07.03.2001
СТ Verification by Testing for Recursive Program Schemes 2000 Le Metayer D., Nicolas V. -A., Ridoux O. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ Typed Static Analysis: Application to Groudness Analysis of PROLOG and LambdaPROLOG 1999 Ridoux O., Boizumault P., Malesieux F. Lecture Notes in Computer Science 25.11.1999
СТ Exploring the Software Development Trilogy 1998 Le Metayer D., Nicolas V. -A., Ridoux O. IEEE Software 28.01.1999
СТ Engineering Transformations of Attributed Grammars in Prolog 1996 Ridoux O. Logic Programming 12.03.1998
СТ Parametric Polymorphism for Typed Prolog and Prolog 1996 Louvet P., Ridoux O. Lecture Notes in Computer Science 20.11.1996
П The Architecture of an Implementation of LambdaProlog: Prolog/Mali 1994 Brisset P., Ridoux O. INRIA 21.10.1995
СТ Imagining CLP( , ) 1995 Ridoux O. Lecture Notes in Computer Science 19.04.1995
СТ Naive Reverse can be Linear 1991 Brisset P., Ridoux O. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ Dynamic Memory Management for Sequential Logic Programming Languages 1992 Bekkers Y., Ridoux O., Ungaro L. Lecture Notes in Computer Science 20.10.1992
СТ Une mise en oeuvre de l unification d expressions booleennes 1990 Ridoux O. BIGRE 16.02.1991
СТ Machine de Gestion de Memoire pour Prolog 1985 Bekkers V., Canet B., Ridoux O., Uhgaro L. Информатика-85 14.02.1991
СТ A Memory Manadement for Prolog 1985 Bekkers V., Canet B., Ridoux O., Ungaro L. Информатика-85 14.02.1991