The Community for Technology Leaders
2014 47th Hawaii International Conference on System Sciences (1995)
Hawaii, USA
Jan. 4, 1995 to Jan. 7, 1995
ISSN: 1060-3425
ISBN: 0-8186-6935-7
pp: 266
I. Attali , Inst. Nat. de Recherche en Inf. et Autom., Sophia Antipolis, France
A.L. Wendelborn , Inst. Nat. de Recherche en Inf. et Autom., Sophia Antipolis, France
D. Caromel , 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.
INDEX TERMS
parallel languages; parallel programming; formal specification; programming environments; software tools; formal dynamic semantics; Sisal; Sisal environment; formal definition; Sisal 2.0; structural operational style; Natural Semantics; Typoi inference rules; Centaur system; generic specification environment; strongly typed language; single assignment language; parallel processors; multiprocessors; vector machines; dataflow machines
CITATION
I. Attali, A.L. Wendelborn, D. Caromel, "From a formal dynamic semantics of Sisal to a Sisal environment", 2014 47th Hawaii International Conference on System Sciences, vol. 00, no. , pp. 266, 1995, doi:10.1109/HICSS.1995.375452
426 ms
(Ver 3.3 (11022016))