From a formal dynamic semantics of Sisal to a Sisal environment

We present a formal definition of the dynamic semantics of a significant part of the language Sisal 2.0 in the structural operational style of Natural Semantics, namely Typoi inference rules, within the Centaur system, a generic specification environment. Sisal (Streams and Iteration in a Single Assignment Language) is a strongly typed, applicative, single assignment language in use on a variety of parallel processors, including conventional multiprocessors, vector machines and dataflow machines.<
>