Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

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

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

Publication date

January 1990

Abstract

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

Extracted data

Related items

The implementation of logical-functional languages Extended abstracts

Gollner, M. (ed.)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1992

SIGLEAvailable from TIB Hannover: RA 2045(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Formal Method for the Retrospective Specification of the Functionality of Existing Software Systems

Halmay, Edit
Halmay, Edit

January 1989

The dissertation proposes an unusual but reasonable alternative for the interpretation of programs. ...

Semantics of integrated language FOPL

Hong, Mei
Sun, Yongqiang

January 1995

Functional object-oriented programming language FOPL is an intelligent integrated language which sup...

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

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 1995

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

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

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

Functional Programming with Names and Necessity

Aleksandar Nanevski
Peter Lee

January 2004

No. CCR-9988281 and by a generous donation from the Siebel Scholars Program. The views an

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

Full functional programming in a declarative ada dialect

Bailes, Paul A.
Johnston, Dan
Salzman, Eric
Wang, Li

December 1992

Functional-style programming and languages have an important role to play in the software life cycle...

Task-oriented programming in a pure functional language

Plasmeijer, R.
Lijnse, B.
Michels, S.
Achten, P.
Koopman, P.

January 2012

Contains fulltext : 103802.pdf (publisher's version ) (Open Access)PPDP'12 : 14th ...

A Synthetic Operational Account of Call-by-Need Evaluation

Olivier Danvy
Ian Zerny

November 2015

We present the first operational account of call by need that con-nects syntactic theory and impleme...

The ς-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil

September 2015

A comprehensive semantics for functional programs is presented, which gen-eralizes the well-known ca...

An imperative language for task-level programming Definition in temporal logic

Rutten, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik)
Marce, L. (Brest Univ., 29 (France). Dept. Informatique)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1991

Available from TIB Hannover: RN 9844(544) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

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

The implementation of logical-functional languages Extended abstracts

Gollner, M. (ed.)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1992

SIGLEAvailable from TIB Hannover: RA 2045(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Formal Method for the Retrospective Specification of the Functionality of Existing Software Systems

Halmay, Edit
Halmay, Edit

January 1989

The dissertation proposes an unusual but reasonable alternative for the interpretation of programs. ...

Semantics of integrated language FOPL

Hong, Mei
Sun, Yongqiang

January 1995

Functional object-oriented programming language FOPL is an intelligent integrated language which sup...

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

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 1995

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

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

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

Functional Programming with Names and Necessity

Aleksandar Nanevski
Peter Lee

January 2004

No. CCR-9988281 and by a generous donation from the Siebel Scholars Program. The views an

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

Full functional programming in a declarative ada dialect

Bailes, Paul A.
Johnston, Dan
Salzman, Eric
Wang, Li

December 1992

Functional-style programming and languages have an important role to play in the software life cycle...

Task-oriented programming in a pure functional language

Plasmeijer, R.
Lijnse, B.
Michels, S.
Achten, P.
Koopman, P.

January 2012

Contains fulltext : 103802.pdf (publisher's version ) (Open Access)PPDP'12 : 14th ...

A Synthetic Operational Account of Call-by-Need Evaluation

Olivier Danvy
Ian Zerny

November 2015

We present the first operational account of call by need that con-nects syntactic theory and impleme...

The ς-Semantics: A Comprehensive Semantics for Functional Programs

Olaf Chitil

September 2015

A comprehensive semantics for functional programs is presented, which gen-eralizes the well-known ca...

An imperative language for task-level programming Definition in temporal logic

Rutten, E. (Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany). Inst. fuer Angewandte Informationstechnik)
Marce, L. (Brest Univ., 29 (France). Dept. Informatique)
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1991

Available from TIB Hannover: RN 9844(544) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technis...

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

The implementation of logical-functional languages Extended abstracts

Gollner, M. (ed.)
Karlsruhe Univ. (T.H.) (Germany). Fakultaet fuer Informatik

January 1992

SIGLEAvailable from TIB Hannover: RA 2045(1992,10) / FIZ - Fachinformationszzentrum Karlsruhe / TIB ...

Formal Method for the Retrospective Specification of the Functionality of Existing Software Systems

Halmay, Edit
Halmay, Edit

January 1989

The dissertation proposes an unusual but reasonable alternative for the interpretation of programs. ...

Semantics of integrated language FOPL

Hong, Mei
Sun, Yongqiang

January 1995

Functional object-oriented programming language FOPL is an intelligent integrated language which sup...