SequenceL provides a different way to view programming

ACM Trans. Program. Lang. Syst.

Rushton

Nemanich

et al. 2008

SequenceL is a concise, high-level language with a simple semantics that provides for the automatic derivation of many iterative and parallel control structures. The semantics repeatedly applies a "Normalize-Transpose-Distribute" operation to functions and operators until base cases are discovered. Base cases include the grounding of variables and the application of built-in operators to operands of appropriate types. This article introduces the results of a 24-month effort to reduce the language to a very small set of primitives. Included are comparisons with other languages, the formal syntax and semantics, and the traces of several example problems run with a prototype interpreter developed in 2006.

Section: Discussionmentioning

confidence: 99%

Section: Automatic Parallelismsmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Normalize, transpose, and distribute

ACM Trans. Program. Lang. Syst.

Rushton

Nemanich

et al. 2008

“…The goal of the SequenceL language [4,5] is to provide an environment where problem solutions can be stated at a high level of abstraction-where one can describe the data product explicitly and have the iterative and parallel program structures that produce and process the data product generated automatically. In other words, the desire is for a language that is based upon high level constructs that permit one to declare data products directly.…”

Section: Introductionmentioning

confidence: 99%

Automatic parallel control structures in SequenceL

Andersen

2000

Softw: Pract. Exper.

SequenceL is a language that provides declarative constructs for non‐scalar processing. Rather than specifying program control structures that, in turn, imply a data product, the problem solver specifies a data product, and the control structures to produce or process the data product are implied. Although SequenceL has been previously introduced in two papers (Cooke, DE. An Introduction to SequenceL: A language to experiment with constructs for processing nonscalars. Software—Practice and Experience 1996; 26(11):1205–1246; and Cooke, D. SequenceL Provides a Different way to View Programming. Computer Languages 1998; 24:1–32), recent improvements to the language have indicated that parallel control structures are also implied by the SequenceL problem solutions. This paper focuses on these recent advances. Copyright © 2000 John Wiley & Sons, Ltd.

Automatic parallel control structures in SequenceL

Andersen

2000

Softw: Pract. Exper.

SequenceL is a language that provides declarative constructs for non-scalar processing. Rather than specifying program control structures that, in turn, imply a data product, the problem solver specifies a data product, and the control structures to produce or process the data product are implied. Although SequenceL has been previously introduced in two papers (Cooke, DE. An Introduction to SequenceL: A language to experiment with constructs for processing nonscalars. Software-Practice and Experience 1996; 26(11):1205-1246; and Cooke, D. SequenceL Provides a Different way to View Programming. Computer Languages 1998; 24:1-32), recent improvements to the language have indicated that parallel control structures are also implied by the SequenceL problem solutions. This paper focuses on these recent advances. n k=1 m i,k · m k,jIn the example, we assume that the 3 × 3 matrix shown in Figure 1 is to be squared. Figure 2 contains the concurrent version of the Java code to square the matrix.