Generators and the replicator control structure in the parallel environment of ALLOY

Authors:
Thanasis Mitsolides;Malcolm Harrison
Affiliations:
Courant Institute of Mathematical Sciencea, New York University, 251 Mercer Street, New York, NY;Courant Institute of Mathematical Sciencea, New York University, 251 Mercer Street, New York, NY
Venue:
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Year:
1990

Citing 21
Cited 2

Negation and control in Prolog

Negation and control in Prolog
Programming with sets; an introduction to SETL

Programming with sets; an introduction to SETL
P-Prolog: a parallel logic programming language based on exclusive relation

Proceedings on Third international conference on logic programming
Revised report on the algorithmic language scheme

ACM SIGPLAN Notices
Concurrent Prolog: A Progress Report

Computer
Guarded horn clauses

Proceedings of the 4th conference on Logic programming '85
Parallel logic programming in PARLOG: the language and its implementation

Parallel logic programming in PARLOG: the language and its implementation
Making exhaustive search programs deterministic

New Generation Computing
Compiling OR-parallelism into AND-parallelism

New Generation Computing
The Logix system user manual version 1.21

Concurrent Prolog: collected papers
Or-parallel execution models of prolog

II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
The design and implementation of alloy, a higher level parallel programming language

The design and implementation of alloy, a higher level parallel programming language
Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstraction mechanisms in CLU

Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Functional Programming

Functional Programming
ICON Programmng Language

ICON Programmng Language
Implementation of multilisp: Lisp on a multiprocessor

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Queue-based multi-processing LISP

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Continuations and coroutines

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

A library of high level control operators

ACM SIGPLAN Lisp Pointers
An hybrid model for very high level threads

Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores

Quantified Score

Hi-index	0.00

Visualization

Abstract

The need for searching a space of solutions appears often. Many problems, such as iteration over a dynamically created domain, can be expressed most naturally using a generate-and-process style. Serial programming languages typically support solutions of these problems by providing some form of generators or backtracking.A parallel programming language is more demanding since it needs to be able to express parallel generation and processing of elements. Failure driven computation is no longer sufficient and neither is multiple-assignment to generated values.We describe the replicator control operator used in the high level parallel programming language ALLOY. The replicator control operator provides a new view of generators which deals with these problems.