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
Sites 9
- Announcing - Sisal Scientific Computing Initiative From comp.compilers newsgroup.
- mySAL 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.
- Sisal Lives Project for a moderately reworked Sisal frontend.
- Sisal Parallel Programming Optimizing Sisal compiler (sisalc) works atop pthreads for high performance on commodity SMP architectures. [ SourceForge.net]
- SISAL Growing article, with links to many related topics. [Wikipedia]
- Sisal: A Safe and Efficient Language for Numerical Calculations Article shows benefits of Sisal with call to action. By Dave Raymond. [Linux Journal]
- 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.
- From a Formal Dynamic Semantics of Sisal to a Sisal Environment By I. Attali, D. Caromel, A.L. Wendelborn. Abstract and article, PDF file.
- 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.