The architecture of an implementation of LambdaProlog : Prolog/Mali

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

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....

Implementation d'un systeme de modules evolue en Caml-Light

Pottier, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Cacul symbolique, programmation et genie logiciel. Projet CristalAvailable at INIST (F...

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...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Compilation de lambda-Prolog

Brisset, Pascal

January 1992

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

Une architecture pour l'execution d'application SIGNAL

Cholet, Thierry
Wolinski, Krzysztof
Derrien, Dominique
Guillou, Jean-Pierre
Leali, Paul
Riboult, Alain
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)
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)

January 1993

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Lambda-calculus, combinators and the comprehension scheme

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CoqSIGLEAvailable at INIST...

Programming with MALI. The interpretation of Prolog programs

Chevallier, Louis
Le Huitouze, Serge
Ridoux, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Models and resolution principles for logical meta-programming languages

Chistiansen, Henning
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Logic programming environments : dynamic program analysis and debugging

Ducasse, Mireille
Noye, Jacques
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 1995

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

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

HOL - #lambda##alpha# : an intentional first - order expression of higher - order logic

Dowek, Gilles
Kirchner, Claude
Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projets Coq, Para, ProtheoSIGLEAvailable from INIST (...

Interactive programming environment for ML

Rideau, Laurence
Thety, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPSIGLEAvailable from INIST (FR), Document ...

Implementation en C de l'arithmetique de Sisyphe

Grimm, Jose
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SAFIRAvailable at INIST (FR...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

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....

Implementation d'un systeme de modules evolue en Caml-Light

Pottier, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Cacul symbolique, programmation et genie logiciel. Projet CristalAvailable at INIST (F...

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...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Compilation de lambda-Prolog

Brisset, Pascal

January 1992

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

Une architecture pour l'execution d'application SIGNAL

Cholet, Thierry
Wolinski, Krzysztof
Derrien, Dominique
Guillou, Jean-Pierre
Leali, Paul
Riboult, Alain
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)
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)

January 1993

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Lambda-calculus, combinators and the comprehension scheme

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CoqSIGLEAvailable at INIST...

Programming with MALI. The interpretation of Prolog programs

Chevallier, Louis
Le Huitouze, Serge
Ridoux, Olivier
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Models and resolution principles for logical meta-programming languages

Chistiansen, Henning
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Logic programming environments : dynamic program analysis and debugging

Ducasse, Mireille
Noye, Jacques
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 1995

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

Programming language specifications and environments

Bertot, Y.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet CROAPSIGLEAvailable from INIST (FR), Document...

HOL - #lambda##alpha# : an intentional first - order expression of higher - order logic

Dowek, Gilles
Kirchner, Claude
Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projets Coq, Para, ProtheoSIGLEAvailable from INIST (...

Interactive programming environment for ML

Rideau, Laurence
Thety, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPSIGLEAvailable from INIST (FR), Document ...

Implementation en C de l'arithmetique de Sisyphe

Grimm, Jose
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SAFIRAvailable at INIST (FR...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

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....

Implementation d'un systeme de modules evolue en Caml-Light

Pottier, Francois
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Cacul symbolique, programmation et genie logiciel. Projet CristalAvailable at INIST (F...

The architecture of an implementation of LambdaProlog : Prolog/Mali

Abstract

Extracted data

The architecture of an implementation of LambdaProlog : Prolog/Mali

Abstract

Extracted data

Related items

Related items