Automatic parallel control structures in SequenceL

Abstract

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.

Architecture and Design Modeling and Simulation Testbeds for NASA: A Progress Report

“…The SequenceL language [13,14,15,16] is a Turing-complete executable requirements language. We are currently using it to develop the Shuttle Abort Flight Management System requirements (SAFM).…”