From a formal dynamic semantics of Sisal to a Sisal environment
Isabelle Attali, Denis Caromel, Andrew L. Wendelborn · 2002
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.>