Compilation de lambda-Prolog

La programmation typologique

Mahe, Serge-Andre

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82529 / INIST-CNRS -...

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The compilation of #lambda# Prolog and its execution with MALI

Ridoux, Olivier
Brisset, Pascal
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84355 / INIST-CNRS -...

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Une approche de compilation pour les programmes logiques exploitant le parallelisme 'et' et 'ou'

Belmesk, Mounira
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

The architecture of an implementation of LambdaProlog : Prolog/Mali

Brisset, Pascal
Ridoux, Olivier
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Compilation des langages fonctionnels: CeML un traducteur de ML vers C

Chailloux, Emmanuel

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84284 / INIST-CNRS -...

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81524 / INIST-CNRS ...

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82208 / INIST-CNRS ...

La programmation typologique

Mahe, Serge-Andre

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82529 / INIST-CNRS -...

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The compilation of #lambda# Prolog and its execution with MALI

Ridoux, Olivier
Brisset, Pascal
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Un systeme declaratif de types pour Prolog

Nguyen Phuong, Lan
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84355 / INIST-CNRS -...

Un systeme prolog parallele pour machines a memoire distribuee

Favre, Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82765 / INIST-CNRS -...

Mecanismes d'acces aux bases de donnees Prolog dans le projet OPALE

Berger Sabbatel, Gilles
Dang, Weidong
Ianeselli, Jean-Christophe
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1986

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n....

Une approche de compilation pour les programmes logiques exploitant le parallelisme 'et' et 'ou'

Belmesk, Mounira
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660 / INIST-CNRS - Ins...

The architecture of an implementation of LambdaProlog : Prolog/Mali

Brisset, Pascal
Ridoux, Olivier
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Compilation des langages fonctionnels: CeML un traducteur de ML vers C

Chailloux, Emmanuel

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 84284 / INIST-CNRS -...

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81524 / INIST-CNRS ...

Sur la reutilisation de composants logiciels: classification et recherche

Rames, Eric

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79432 / INIST-CNRS -...

Synthese logique sur reseaux programmables

Bouchet, Laurent
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82208 / INIST-CNRS ...

La programmation typologique

Mahe, Serge-Andre

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82529 / INIST-CNRS -...

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Compilation de lambda-Prolog

Abstract

Extracted data

Compilation de lambda-Prolog

Abstract

Extracted data

Related items

Related items