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

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Seiten	1-26
Seitenumfang	26
Publikationsstatus	Veröffentlicht - 2007
Veranstaltung	1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing - Paris, Frankreich Dauer: 08.10.2007 → 11.10.2007 http://alarisrv07.alari.ch/amwas07/

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress	1th AETHER - MORPHEUS Workshop- Autumn School From Reconfigurable to Self - Adaptive Computing
Kurztitel	AMWAS'07
Land/Gebiet	Frankreich
Ort	Paris
Zeitraum	08.10.07 → 11.10.07
Internetadresse	http://alarisrv07.alari.ch/amwas07/

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

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

Andere Dateien und Links

researchgate.net

Zitieren

@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 -