SISAL (Streams and Iteration in a Single Assignment Language) a general-purpose single assignment functional programming language with strict semantics, automatic parallelisation and efficient arrays. Outputs a dataflow graph in IF1 (Intermediary Form 1). Derived from VAL, adds recursion and finite streams. Pascal-like syntax. Designed to be a common high-level language for numerical programs on a variety of multiprocessors.
Related categories 5
From a Formal Dynamic Semantics of Sisal to a Sisal Environment
By I. Attali, D. Caromel, A.L. Wendelborn. Abstract and article, PDF file.
A simple single assignment language Single assignment languages are a kind of "functional" language where the parallelism is easy to discover. mySAL is a relative of SISAL, and old and distinguished SAL.
SAC: Single Assignment C
Strict pure functional compiled language, C-like syntax. Design focus: numerical applications, emphasizing efficient support of array processing. Official SISAL successor.
Growing article, with links to many related topics. [Wikipedia]
Project for a moderately reworked Sisal frontend.
The Sisal Model of Functional Programming and its Implementation
Article by Jean-Luc Gaudiot, Tom DeBoni, John Feo, Wim Böhm, Walid Najjar and Patrick Miller. Abstract and article in PDF-file.
Sisal Parallel Programming
Optimizing Sisal compiler (sisalc) works atop pthreads for high performance on commodity SMP architectures. [ SourceForge.net]
Sisal: A Safe and Efficient Language for Numerical Calculations
Article shows benefits of Sisal with call to action. By Dave Raymond. [Linux Journal] (December 01, 2000)
Announcing - Sisal Scientific Computing Initiative
From comp.compilers newsgroup. (September 16, 1993)
Last update:April 13, 2016 at 1:34:06 UTC