Title :
From a formal dynamic semantics of Sisal to a Sisal environment
Author :
Attali, I. ; Caromel, D. ; Wendelborn, A.L.
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Sophia Antipolis, France
Abstract :
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
Keywords :
formal specification; parallel languages; parallel programming; programming environments; software tools; Centaur system; Natural Semantics; Sisal; Sisal 2.0; Sisal environment; Typoi inference rules; dataflow machines; formal definition; formal dynamic semantics; generic specification environment; multiprocessors; parallel processors; single assignment language; strongly typed language; structural operational style; vector machines; Computer science; Flow graphs; Parallel processing;
Conference_Titel :
System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-6930-6
DOI :
10.1109/HICSS.1995.375452
