Col: a logic-based language for complex objects

An object-oriented model in the concurrent logic programming language Parlog

Rizk, Antoine
Fellous, Jean-Marc
Tueni, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Declarative specialization of object-oriented programs

Muller, Gilles
Volanschi, Eugen N.
Cowan, Crispin
Consel, Charles
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 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet LANDEAvailable at INIST (FR), Document Supply ...

Le logiciel MATP 400

Boudard, Alain
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France)

January 1989

SIGLECNRS RP 148 (756) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

An implementation model for reasoning with complex objects

Chen, Qiming
Gardarin, Georges
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

A logic for data and knowledge bases

Spyratos, Nicolas
Lecluse, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

Logiciels de developpement du MUPTS

Roset, A
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

Logiciel permettant le choix des classes de resistance des canalisations en beton manufacture

Dutruel, F.
Degas, G
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture Epernon (FRANCE)

January 1982

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

Un atelier logiciel pour les applications de CFAO

Drappier, Jean-Michel

January 1989

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

Expression of syntactic and semantic features in logic-based grammars

Saint-Dizier, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1985

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

Une approche de la fiabilite des logiciels : modeles classiques et modele lineaire generalise

Font, Veronique

January 1985

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

Design and implementation of a generic, logic and functional programming language

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

January 1985

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

Presentation du logiciel CODEM

Auclair, D.
Merabet, I
Electricite de France, Service Informatique et Mathematiques Appliquees Clamart (FRANCE)

January 1983

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

Mesures sur le logiciel. La complexite structurelle selon McCabe

Rata, S.M.A
Electricite de France, Service Informatique et Mathematiques Appliquees Clamart (FRANCE)

January 1984

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

On syntax and semantics of adjective phrases in logic programming

Saint-Dizier, Patrick
Institut national de recherche en informatique et en automatique, Centre de Rennes Rennes (FRANCE)

January 1985

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

An object-oriented model in the concurrent logic programming language Parlog

Rizk, Antoine
Fellous, Jean-Marc
Tueni, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Declarative specialization of object-oriented programs

Muller, Gilles
Volanschi, Eugen N.
Cowan, Crispin
Consel, Charles
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 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet LANDEAvailable at INIST (FR), Document Supply ...

Le logiciel MATP 400

Boudard, Alain
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France)

January 1989

SIGLECNRS RP 148 (756) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

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

An implementation model for reasoning with complex objects

Chen, Qiming
Gardarin, Georges
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

A logic for data and knowledge bases

Spyratos, Nicolas
Lecluse, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

Logiciels de developpement du MUPTS

Roset, A
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

Logiciel permettant le choix des classes de resistance des canalisations en beton manufacture

Dutruel, F.
Degas, G
Centre d'Etudes et de Recherches de l'Industrie du Beton Manufacture Epernon (FRANCE)

January 1982

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

Un atelier logiciel pour les applications de CFAO

Drappier, Jean-Michel

January 1989

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

Expression of syntactic and semantic features in logic-based grammars

Saint-Dizier, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1985

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

Une approche de la fiabilite des logiciels : modeles classiques et modele lineaire generalise

Font, Veronique

January 1985

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

Design and implementation of a generic, logic and functional programming language

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

January 1985

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

Presentation du logiciel CODEM

Auclair, D.
Merabet, I
Electricite de France, Service Informatique et Mathematiques Appliquees Clamart (FRANCE)

January 1983

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

Mesures sur le logiciel. La complexite structurelle selon McCabe

Rata, S.M.A
Electricite de France, Service Informatique et Mathematiques Appliquees Clamart (FRANCE)

January 1984

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

On syntax and semantics of adjective phrases in logic programming

Saint-Dizier, Patrick
Institut national de recherche en informatique et en automatique, Centre de Rennes Rennes (FRANCE)

January 1985

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

An object-oriented model in the concurrent logic programming language Parlog

Rizk, Antoine
Fellous, Jean-Marc
Tueni, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1989

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

Declarative specialization of object-oriented programs

Muller, Gilles
Volanschi, Eugen N.
Cowan, Crispin
Consel, Charles
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 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet LANDEAvailable at INIST (FR), Document Supply ...

Le logiciel MATP 400

Boudard, Alain
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France)

January 1989

SIGLECNRS RP 148 (756) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Col: a logic-based language for complex objects

Abstract

Extracted data

Col: a logic-based language for complex objects

Abstract

Extracted data

Related items

Related items