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

Volume

2

fYear

1995

fDate

3-6 Jan 1995

Firstpage

266

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1995. Proceedings of the Twenty-Eighth Hawaii International Conference on

Conference_Location

Wailea, HI

Print_ISBN

0-8186-6930-6

Type

conf

DOI

10.1109/HICSS.1995.375452

Filename

375452