A taxonomy of functional language implementations Part I : call by value

Logic programming environments : dynamic program analysis and debugging

Ducasse, Mireille
Noye, Jacques
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 1995

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

A Taxonomy of Functional Language Implementations Part II : Call-by-Name, Call-by-Need and Graph Reduction

Douence, Rémi
Fradet, Pascal

January 1996

In Part I [5], we proposed an approach to formally describe and compare functional languages impleme...

A call-by-need implementation of syntax directed functional programming

Fassbender, H.
Vogler, H.
Aachen Technische Hochschule (Germany). Fachgruppe Informatik

January 1990

SIGLETIB: RO 6925(90-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

A taxonomy of functional language implementations Part II : call-by-name, call-by-need and graph reduction

Douence, Remi
Fradet, Pascal
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 1996

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

A Taxonomy of Functional Language Implementations : Part I : Call by Value

Douence, Rémi
Fradet, Pascal

January 1996

We present a unified framework to describe and compare functional language implementations. We expre...

Compilation of a specialized functional language for massively parallel computers

Fradet, Pascal
Mallet, Julien
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 2000

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

Models and resolution principles for logical meta-programming languages

Chistiansen, Henning
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

An operational semantics for the Eiffel//language

Attali, Isabelle
Caromel, Denis
Ould Ehmety, Sidi
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projets CROAP et SLOOPSIGLEAvaila...

Towards a Taxonomy of Functional Language Implementations

Rémi Douence
Pascal Fradet

January 2000

We express implementations of functional languages as a succession of program transformations in a c...

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

Collections, sets and types

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

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

Statically typed friendly functions via partially abstract types

Pierce, Benjamin C.
Turner, David N.
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

A language and an integrated environment for program transformation

Attali, Isabelle
Pascual, Valerie
Roudet, Christophe
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 ...

Two semantics for a language of reactive objects

Boussinot, Frederic
Laneve, Cosimo
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet MEIJESIGLEAvailable at INI...

Logic programming environments : dynamic program analysis and debugging

Ducasse, Mireille
Noye, Jacques
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 1995

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

A Taxonomy of Functional Language Implementations Part II : Call-by-Name, Call-by-Need and Graph Reduction

Douence, Rémi
Fradet, Pascal

January 1996

In Part I [5], we proposed an approach to formally describe and compare functional languages impleme...

A call-by-need implementation of syntax directed functional programming

Fassbender, H.
Vogler, H.
Aachen Technische Hochschule (Germany). Fachgruppe Informatik

January 1990

SIGLETIB: RO 6925(90-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

A taxonomy of functional language implementations Part II : call-by-name, call-by-need and graph reduction

Douence, Remi
Fradet, Pascal
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 1996

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

A Taxonomy of Functional Language Implementations : Part I : Call by Value

Douence, Rémi
Fradet, Pascal

January 1996

We present a unified framework to describe and compare functional language implementations. We expre...

Compilation of a specialized functional language for massively parallel computers

Fradet, Pascal
Mallet, Julien
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 2000

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

Models and resolution principles for logical meta-programming languages

Chistiansen, Henning
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

An operational semantics for the Eiffel//language

Attali, Isabelle
Caromel, Denis
Ould Ehmety, Sidi
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projets CROAP et SLOOPSIGLEAvaila...

Towards a Taxonomy of Functional Language Implementations

Rémi Douence
Pascal Fradet

January 2000

We express implementations of functional languages as a succession of program transformations in a c...

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

Collections, sets and types

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

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

Statically typed friendly functions via partially abstract types

Pierce, Benjamin C.
Turner, David N.
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

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

A language and an integrated environment for program transformation

Attali, Isabelle
Pascual, Valerie
Roudet, Christophe
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 ...

Two semantics for a language of reactive objects

Boussinot, Frederic
Laneve, Cosimo
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet MEIJESIGLEAvailable at INI...

Logic programming environments : dynamic program analysis and debugging

Ducasse, Mireille
Noye, Jacques
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 1995

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

A Taxonomy of Functional Language Implementations Part II : Call-by-Name, Call-by-Need and Graph Reduction

Douence, Rémi
Fradet, Pascal

January 1996

In Part I [5], we proposed an approach to formally describe and compare functional languages impleme...

A call-by-need implementation of syntax directed functional programming

Fassbender, H.
Vogler, H.
Aachen Technische Hochschule (Germany). Fachgruppe Informatik

January 1990

SIGLETIB: RO 6925(90-22) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsb...

A taxonomy of functional language implementations Part I : call by value

Abstract

Extracted data

A taxonomy of functional language implementations Part I : call by value

Abstract

Extracted data

Related items

Related items