Tracing execution of CLP(FD) programs A trace model and an experimental validation environment

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Tracking immediate predecessors in distributed computations

Raynal, M.
Helary, J.M.
Anceaume, E.
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)
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 2000

Theme 1 - Reseaux et systemes - Projet ADPAvailable from INIST (FR), Document Supply Service, under ...

Exemple de validation semantique dans les theories structurees

Drabik, Pascal
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1988

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

Using clp (FD) to support instruction schedulers for multi-issue pipelined architectures

Despland, Annie
Mazaud, Monique
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

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

Generic program monitoring by trace analysis

Jahier, Erwan
Ducasse, Mireille
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

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

Imagining CLP (#lambda# calculus #alpha##beta#)

Ridoux, Olivier
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Contraintes symboliques en programmation en logique. Le schema CLP (Theories Conceptuelles)

Porcher, Franck

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79868 / INIST-CNRS -...

Tracing the origins of verification conditions

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

January 1996

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

Code cloning tracing : a new approach to trace collection

Lafage, Thierry
Seznec, Andre
Bodin, Francois
Rohou, Erven
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, u...

Tracing and explaining execution of CLP(FD) programs

Ågren, Magnus
Szeredi, Tamas
Beldiceanu, Nicolas
Carlsson, Mats

January 2002

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about ...

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

Using on-the-fly verification techniques for the generation of test suites

Fernandez, Jean-Claude
Jard, Claude
Jeron, Thierry
Nedelka, Laurence
Viho, Cesar
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet Pampa et SpectreSIGLEAvailable at INIST (FR), Document Supply...

Validation du progiciel CESAR-LCPC en comportement mecanique non lineaire Volume 1 : fondations superficielles et tunnels

Mestat, Philippe
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22860, issue : a.1994 n.58 / ...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

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

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Tracking immediate predecessors in distributed computations

Raynal, M.
Helary, J.M.
Anceaume, E.
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)
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 2000

Theme 1 - Reseaux et systemes - Projet ADPAvailable from INIST (FR), Document Supply Service, under ...

Exemple de validation semantique dans les theories structurees

Drabik, Pascal
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1988

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

Using clp (FD) to support instruction schedulers for multi-issue pipelined architectures

Despland, Annie
Mazaud, Monique
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

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

Generic program monitoring by trace analysis

Jahier, Erwan
Ducasse, Mireille
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 2001

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

Imagining CLP (#lambda# calculus #alpha##beta#)

Ridoux, Olivier
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet LandeSIGLEAvailable at INIS...

Contraintes symboliques en programmation en logique. Le schema CLP (Theories Conceptuelles)

Porcher, Franck

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79868 / INIST-CNRS -...

Tracing the origins of verification conditions

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

January 1996

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

Code cloning tracing : a new approach to trace collection

Lafage, Thierry
Seznec, Andre
Bodin, Francois
Rohou, Erven
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1998

Theme 1 - Reseaux et systemes. Projet CAPSSIGLEAvailable from INIST (FR), Document Supply Service, u...

Tracing and explaining execution of CLP(FD) programs

Ågren, Magnus
Szeredi, Tamas
Beldiceanu, Nicolas
Carlsson, Mats

January 2002

Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about ...

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

Using on-the-fly verification techniques for the generation of test suites

Fernandez, Jean-Claude
Jard, Claude
Jeron, Thierry
Nedelka, Laurence
Viho, Cesar
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1996

Theme 1 - Reseaux et systemes - Projet Pampa et SpectreSIGLEAvailable at INIST (FR), Document Supply...

Validation du progiciel CESAR-LCPC en comportement mecanique non lineaire Volume 1 : fondations superficielles et tunnels

Mestat, Philippe
Laboratoire Central des Ponts et Chaussees, 75 - Paris (France)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 22860, issue : a.1994 n.58 / ...

Graphes de dependance pour les demonstrateurs de theoremes interactifs

Pons, Olivier
Bertot, Yves
Pottier, Loic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Utilisation de processus legers pour l'execution de programmes a parallelisme de donnees : etude experimentale

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

January 1996

Theme 1 - Reseaux et systemes - Projet ReMaPAvailable at INIST (FR), Document Supply Service, under ...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Tracking immediate predecessors in distributed computations

Raynal, M.
Helary, J.M.
Anceaume, E.
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)
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 2000

Theme 1 - Reseaux et systemes - Projet ADPAvailable from INIST (FR), Document Supply Service, under ...

Exemple de validation semantique dans les theories structurees

Drabik, Pascal
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle (LIFIA)

January 1988

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

Tracing execution of CLP(FD) programs A trace model and an experimental validation environment

Abstract

Extracted data

Tracing execution of CLP(FD) programs A trace model and an experimental validation environment

Abstract

Extracted data

Related items

Related items