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

PDF of full publication (208 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.