Extending the S-Net Type System

H. Cai; S. Eisenbach; A. Shafarenko; C. Grelck

Extending the S-Net Type System

H. Cai, S. Eisenbach, A. Shafarenko, C. Grelck

Institute of Software Engineering and Programming Languages

Abstract

In this paper we discuss the results of evaluating the S-Net type system. We found some problems that would lead to inefficient S-Net compiler implementation, or even incorrect implementations of S-Net programs. We solved the problems by extending the type system so that it can capture more properties that S-Net was designed with.

Original language	English
Pages	1-26
Number of pages	26
Publication status	Published - 2007
Event	1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing - Paris, France Duration: 08.10.2007 → 11.10.2007 http://alarisrv07.alari.ch/amwas07/

Conference

Conference	1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing
Abbreviated title	AMWAS'07
Country/Territory	France
City	Paris
Period	08.10.07 → 11.10.07
Internet address	http://alarisrv07.alari.ch/amwas07/

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

https://staff.fnwi.uva.nl/c.u.grelck/publications/CaiEiseShaf+AMWAS07.pdf

Cite this

@conference{dad0ca4ddae845df8032fe46e21f0882,

title = "Extending the S-Net Type System",

abstract = "In this paper we discuss the results of evaluating the S-Net type system. We found some problems that would lead to inefficient S-Net compiler implementation, or even incorrect implementations of S-Net programs. We solved the problems by extending the type system so that it can capture more properties that S-Net was designed with. ",

author = "H. Cai and S. Eisenbach and A. Shafarenko and C. Grelck",

note = "In: {\AE}ther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'07). Paris, France, October 10-11, 2007.; 1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing , AMWAS'07 ; Conference date: 08-10-2007 Through 11-10-2007",

year = "2007",

language = "English",

pages = "1--26",

url = "http://alarisrv07.alari.ch/amwas07/",

}

TY - CONF

T1 - Extending the S-Net Type System

AU - Cai, H.

AU - Eisenbach, S.

AU - Shafarenko, A.

AU - Grelck, C.

N1 - In: Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'07). Paris, France, October 10-11, 2007.

PY - 2007

Y1 - 2007

N2 - In this paper we discuss the results of evaluating the S-Net type system. We found some problems that would lead to inefficient S-Net compiler implementation, or even incorrect implementations of S-Net programs. We solved the problems by extending the type system so that it can capture more properties that S-Net was designed with.

AB - In this paper we discuss the results of evaluating the S-Net type system. We found some problems that would lead to inefficient S-Net compiler implementation, or even incorrect implementations of S-Net programs. We solved the problems by extending the type system so that it can capture more properties that S-Net was designed with.

UR - https://www.researchgate.net/publication/262104524_Extending_the_S-Net_Type_System

M3 - Conference Papers

SP - 1

EP - 26

T2 - 1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing

Y2 - 8 October 2007 through 11 October 2007

ER -

Extending the S-Net Type System

Abstract

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this