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

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

An object model for multiprogramming

Jayadev Misra

January 2015

Abstract. We have developed a programming model that integrates concurrency with object-based progra...

A concurrent object-oriented implementation for describing and evaluating attribute grammars

Thomas, Laurent
Cruz-Lara, Samuel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10478 / INIST-CNRS - ...

A general model for concurrent and distributed object-oriented programming

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Publie dans : Sigplan notices, 24 (4), 1989, p. 102-104SIGLEAvailable at INIST (FR), Document Supply...

Concurrency : an object-oriented approach

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10714 / INIST-CNRS - ...

Programming abstractions for concurrent programming

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Dans : Proceedings TOOLS PACIFIC'90 (Technology of Object-Oriented Languages and Systems), Sydney (A...

Concurrent programming notations in the object-oriented language arche

Benveniste, Marc
Issarny, Valerie
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)
Rennes-1 Univ., 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 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

A Specification Logic for Concurrent Object-oriented Programming

Galmiche, Didier
Delzanno, Giorgio
Martelli, Maurizio

January 1999

Article dans revue scientifique avec comité de lecture.This paper focuses on the use of linear logic...

A specification logic for concurrent object-oriented programming

Delzanno, G.
Galmiche, D.
Martelli, M.

January 1999

The paper focuses on the use of linear logic as a specification language of the operational semantic...

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

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

PARLOG A parallel logic programming language

Clark, K.L.
Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/5) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A Specification Logic for Concurrent Object-Oriented Programming

Galmiche, Didier
Delzanno, Giorgio
Martelli, Maurizio

January 1998

Rapport interne.In the paper we consider a proof-theoretical approach to Linear Logic in order to de...

Distributed Object Oriented Logic Programming as a tool for Enterprise Modelling

K. L. Clark
N. Skarmeas
T. I. Wang
Dk Parlog

January 1995

In this paper we propose a distributed object oriented logic programming language, called DK Parlog ...

Issues in Object-Oriented Concurrency

Crist&apos

November 2007

The work described in this paper is a first attempt to find a synthesis of concurrency and the obje...

Col: a logic-based language for complex objects

Abiteboul, Serge
Grumbach, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

An object model for multiprogramming

Jayadev Misra

January 2015

Abstract. We have developed a programming model that integrates concurrency with object-based progra...

A concurrent object-oriented implementation for describing and evaluating attribute grammars

Thomas, Laurent
Cruz-Lara, Samuel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10478 / INIST-CNRS - ...

A general model for concurrent and distributed object-oriented programming

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

Publie dans : Sigplan notices, 24 (4), 1989, p. 102-104SIGLEAvailable at INIST (FR), Document Supply...

Concurrency : an object-oriented approach

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10714 / INIST-CNRS - ...

Programming abstractions for concurrent programming

Caromel, Denis
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Dans : Proceedings TOOLS PACIFIC'90 (Technology of Object-Oriented Languages and Systems), Sydney (A...

Concurrent programming notations in the object-oriented language arche

Benveniste, Marc
Issarny, Valerie
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)
Rennes-1 Univ., 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 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

A Specification Logic for Concurrent Object-oriented Programming

Galmiche, Didier
Delzanno, Giorgio
Martelli, Maurizio

January 1999

Article dans revue scientifique avec comité de lecture.This paper focuses on the use of linear logic...

A specification logic for concurrent object-oriented programming

Delzanno, G.
Galmiche, D.
Martelli, M.

January 1999

The paper focuses on the use of linear logic as a specification language of the operational semantic...

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

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

PARLOG A parallel logic programming language

Clark, K.L.
Gregory, S.
Imperial Coll. of Science and Technology, London (UK). Dept. of Computing

January 1983

SIGLELD:7056.15(DOC--83/5) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A Specification Logic for Concurrent Object-Oriented Programming

Galmiche, Didier
Delzanno, Giorgio
Martelli, Maurizio

January 1998

Rapport interne.In the paper we consider a proof-theoretical approach to Linear Logic in order to de...

Distributed Object Oriented Logic Programming as a tool for Enterprise Modelling

K. L. Clark
N. Skarmeas
T. I. Wang
Dk Parlog

January 1995

In this paper we propose a distributed object oriented logic programming language, called DK Parlog ...

Issues in Object-Oriented Concurrency

Crist&apos

November 2007

The work described in this paper is a first attempt to find a synthesis of concurrency and the obje...

Col: a logic-based language for complex objects

Abiteboul, Serge
Grumbach, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), Domaine de Voluceau-Rocquencourt, 78 - Le Chesnay (France)

January 1987

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

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

An object model for multiprogramming

Jayadev Misra

January 2015

Abstract. We have developed a programming model that integrates concurrency with object-based progra...

A concurrent object-oriented implementation for describing and evaluating attribute grammars

Thomas, Laurent
Cruz-Lara, Samuel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10478 / INIST-CNRS - ...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items