Cooperating Reduction Machines

Authors:
W. E. Kluge
Affiliations:
Department of Computer Science, University of Bonn
Venue:
IEEE Transactions on Computers
Year:
1983

Citing 11
Cited 2

Data-Driven and Demand-Driven Computer Architecture

ACM Computing Surveys (CSUR)
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Functional Programming

Functional Programming
A preliminary architecture for a basic data-flow processor

ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Reduction languages for reduction machines

ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A multi-processor reduction machine for user-defined reduction languages.

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
HOPE: An experimental applicative language

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Computer architecture for correct programming

ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
LISP 1.5 Programmer's Manual

LISP 1.5 Programmer's Manual
Petri Net Models for the Evaluation of Applicative Programs Based on ?-Expressions

IEEE Transactions on Software Engineering

Organizing Speculative Computations in Functional Systems

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
A bibliography on parallel inference machines

Journal of Symbolic Computation

Quantified Score

Hi-index	14.98

Visualization

Abstract

This paper presents a concept and a system architecture for the concurrent execution of program expressions of a concrete reduction language based on ?-expressions.