Normalize, transpose, and distribute

Abstract

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.

Model-oriented co-design of homogeneous computing systems

“…A somewhat different approach presented in SequenceL language, where the mechanisms of implicit parallelization of computations are also actively applied [25]. The developers of SequenceL, however, recognize that the use of a fully automatic approach when matching the dimension of the operands can lead to errors localization difficulties [26]. More promising for implementation in the system of programming of HCS seems to be an automated procedure for structural matching, which can be performed by selecting the appropriate data stream structures when calling a specific function in the composition.…”