Programmation du systeme Unix en Calm Light

Semantique naturelle : specifications et preuves

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

January 1998

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

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Laurent, Olivier
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 CROAPAvailable from INIST (FR), Document Suppl...

Reseaux de processus reactifs

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

January 1992

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

Objets conditionels et objets inconnus

Faure, Christele
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 logicielAvailable at INIST (FR), Document Su...

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

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Wolinski, Krzysztof
Belhadj, Mohammed
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)
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)

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Collections, sets and types

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

Transformations du graphe des programmes SIGNAL

Maffeis, Olivier
Cheron, Bruno
Le Guernic, Paul
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)
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)

January 1992

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

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

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

Systemes de reecritures orthogonaux non effacants et lineaires, droite application au probleme de Zantema

Tahhan Bittar, Elias
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Rapport d'activite 1991. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.2 /...

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

A modular module system

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

January 1996

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CristalSIGLEAvailable at I...

Semantique naturelle : specifications et preuves

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

January 1998

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

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Laurent, Olivier
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 CROAPAvailable from INIST (FR), Document Suppl...

Reseaux de processus reactifs

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

January 1992

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

Objets conditionels et objets inconnus

Faure, Christele
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 logicielAvailable at INIST (FR), Document Su...

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

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Wolinski, Krzysztof
Belhadj, Mohammed
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)
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)

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Collections, sets and types

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

Transformations du graphe des programmes SIGNAL

Maffeis, Olivier
Cheron, Bruno
Le Guernic, Paul
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)
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)

January 1992

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

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

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

Systemes de reecritures orthogonaux non effacants et lineaires, droite application au probleme de Zantema

Tahhan Bittar, Elias
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Rapport d'activite 1991. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1991 n.2 /...

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

A modular module system

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

January 1996

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CristalSIGLEAvailable at I...

Semantique naturelle : specifications et preuves

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

January 1998

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

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Laurent, Olivier
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 CROAPAvailable from INIST (FR), Document Suppl...

Programmation du systeme Unix en Calm Light

Abstract

Extracted data

Programmation du systeme Unix en Calm Light

Abstract

Extracted data

Related items

Related items