Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

Campioni, Christine

Publication date

January 1991

Abstract

INIST T 75403 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Extracted data

Related items

Programme de recherches coordonnees: informatique linguistique

Paris-7 Univ., 75 (France). Lab. d'Automatique Documentaire et Linguistique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12735 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un gestionnaire d'objets pour un langage fonctionnel de programmation de bases de donnees GRIFFON

Murisasco, Elisabeth

January 1990

SIGLEINIST T 75907 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un programmateur annuel

Philippe, Jean-Luc

January 1984

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

Conception et realisation d'un langage de manipulation de donnees relationnelles a syntaxe libre

Pasquer, Fabrice

January 1985

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

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude d'un langage de programmation relationnel : extension aux types complexes

Brenac Erena, Lise
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1986

SIGLECNRS TD 15302 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique algebrique d'un langage de programmation supportant le concept de processus communicants

Ouerghi, Mohamed Saied
Institut National Polytechnique de Lorraine, 54 - Vandoeuvre-les-Nancy (France)

January 1984

SIGLET 55406 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un formalisme pour la specification de langages discontinus et a ordre libre

Robin, Sophie
Courant, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Langage de programmation et simulateur de processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

CNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

On the power of languages for the manipulation of complex objects

Abiteboul, Serge
Beeri, Catriel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Conception et mise en oeuvre d'un langage imperatif pour la programmation parallele

Le Certen, Pascale

January 1986

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

La logique dans la programmation : synthese logique de programmes et langages de programmation logique

Fronhofer, Bertram
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

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

Un langage modulaire de specifications de programmes paralleles et sa compilation

Heibig, Amaury

January 1988

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

Langage de programmation du processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

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

Programme de recherches coordonnees: informatique linguistique

Paris-7 Univ., 75 (France). Lab. d'Automatique Documentaire et Linguistique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12735 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un gestionnaire d'objets pour un langage fonctionnel de programmation de bases de donnees GRIFFON

Murisasco, Elisabeth

January 1990

SIGLEINIST T 75907 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un programmateur annuel

Philippe, Jean-Luc

January 1984

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

Conception et realisation d'un langage de manipulation de donnees relationnelles a syntaxe libre

Pasquer, Fabrice

January 1985

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

Fonctions et genericite dans un langage de programmation parallele

Hufflen, Jean-Michel
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLEINIST T 74922 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude d'un langage de programmation relationnel : extension aux types complexes

Brenac Erena, Lise
Conservatoire National des Arts et Metiers (CNAM), 75 - Paris (France)

January 1986

SIGLECNRS TD 15302 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique algebrique d'un langage de programmation supportant le concept de processus communicants

Ouerghi, Mohamed Saied
Institut National Polytechnique de Lorraine, 54 - Vandoeuvre-les-Nancy (France)

January 1984

SIGLET 55406 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un formalisme pour la specification de langages discontinus et a ordre libre

Robin, Sophie
Courant, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1986

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

Langage de programmation et simulateur de processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

CNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

On the power of languages for the manipulation of complex objects

Abiteboul, Serge
Beeri, Catriel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

Conception et mise en oeuvre d'un langage imperatif pour la programmation parallele

Le Certen, Pascale

January 1986

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

La logique dans la programmation : synthese logique de programmes et langages de programmation logique

Fronhofer, Bertram
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

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

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

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

Un langage modulaire de specifications de programmes paralleles et sa compilation

Heibig, Amaury

January 1988

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

Langage de programmation du processeur de signal

Donzelle, L.O
Centre National d'Etudes des Telecommunications, Grenoble, Conception des Circuits Integres Grenoble (FRANCE)

January 1982

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

Programme de recherches coordonnees: informatique linguistique

Paris-7 Univ., 75 (France). Lab. d'Automatique Documentaire et Linguistique
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12735 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un gestionnaire d'objets pour un langage fonctionnel de programmation de bases de donnees GRIFFON

Murisasco, Elisabeth

January 1990

SIGLEINIST T 75907 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un programmateur annuel

Philippe, Jean-Luc

January 1984

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