Computing Publications

Publications Home » Extending the S-Net Type System

Extending the S-Net Type System

Haoxuan (Max) Cai, Susan Eisenbach, Clemens Grelck, Alex Shafarenko

Conference or Workshop Paper
AETHER - MORPHEUS Workshop - Autumn School 2007 AMWAS 07
October, 2007

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.

PDF of full publication (208 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.