Specification et programmation en LPG

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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

Propositions pour la specification d'un didacticiel de soutien a l'enseignement de la programmation

Peyrin, Jean-Pierre
Gueraud, Viviane
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1985

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

Algebre des operateurs generiques et transformation de programmes en LPG

Bert, Didier
Bensalem, Saddek
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

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

Formes fonctionnelles pour l'expression de specifications temporelles

Paillet, J.L.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1986

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

Proprietes algebriques de l'ensemble des processus communicants reguliers

Roge, Sylvie
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Predicats et sous-types en LPG. Realisation de la E-unification

Echaed, Rachid
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Representation des connaissances

Bittencourt, Guilherme
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1988

SIGLECNRS 17660 / 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

Notes sur FP et son implantation en LPG

Hufflen, Jean-Michel
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

La programmation des jeux : programmation classique et intelligence artificielle

Demazeau, Yves
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Langages matriciels et principalite

Ferment, Didier

January 1984

SIGLECNRS T 56764 / 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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

Propositions pour la specification d'un didacticiel de soutien a l'enseignement de la programmation

Peyrin, Jean-Pierre
Gueraud, Viviane
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1985

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

Algebre des operateurs generiques et transformation de programmes en LPG

Bert, Didier
Bensalem, Saddek
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Etude de la synthese automatique de programme a partir d'une specification complete

Potet, Marie-Laure
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

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

Formes fonctionnelles pour l'expression de specifications temporelles

Paillet, J.L.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1986

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

Proprietes algebriques de l'ensemble des processus communicants reguliers

Roge, Sylvie
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Predicats et sous-types en LPG. Realisation de la E-unification

Echaed, Rachid
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Representation des connaissances

Bittencourt, Guilherme
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1988

SIGLECNRS 17660 / 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

Notes sur FP et son implantation en LPG

Hufflen, Jean-Michel
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

La programmation des jeux : programmation classique et intelligence artificielle

Demazeau, Yves
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Langages matriciels et principalite

Ferment, Didier

January 1984

SIGLECNRS T 56764 / 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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

Propositions pour la specification d'un didacticiel de soutien a l'enseignement de la programmation

Peyrin, Jean-Pierre
Gueraud, Viviane
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)

January 1985

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

Specification et programmation en LPG

Abstract

Extracted data

Specification et programmation en LPG

Abstract

Extracted data

Related items

Related items