loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
28th Hawaii International Conference on System Sciences (HICSS'95)
Hawaii, USA
January 04-January 07
ISBN: 0-8186-6935-7
ASCII Text
x 
 
I. Attali, D. Caromel, A.L. Wendelborn, "From a formal dynamic semantics of Sisal to a Sisal environment," Hawaii International Conference on System Sciences, pp. 266, 28th Hawaii International Conference on System Sciences (HICSS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/HICSS.1995.375452,
author = {I. Attali and D. Caromel and A.L. Wendelborn},
title = {From a formal dynamic semantics of Sisal to a Sisal environment},
journal ={Hawaii International Conference on System Sciences},
volume = {0},
year = {1995},
issn = {1060-3425},
pages = {266},
doi = {http://doi.ieeecomputersociety.org/10.1109/HICSS.1995.375452},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Hawaii International Conference on System Sciences
TI - From a formal dynamic semantics of Sisal to a Sisal environment
SN - 1060-3425
SP
EP
A1 - I. Attali,
A1 - D. Caromel,
A1 - A.L. Wendelborn,
PY - 1995
KW - 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
VL - 0
JA - Hawaii International Conference on System Sciences
ER -
 
I. Attali, Inst. Nat. de Recherche en Inf. et Autom., Sophia Antipolis, France
D. Caromel, 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
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, D. Caromel, A.L. Wendelborn, "From a formal dynamic semantics of Sisal to a Sisal environment," hicss, pp.266, 28th Hawaii International Conference on System Sciences (HICSS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.