Skip to main content
Article thumbnail
Location of Repository

Extending the S-Net Type System

By Haoxuan Cai, Susan Eisenbach, Alex Shaferenko and Clemens Grelck

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.

Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.352.7675
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://pubs.doc.ic.ac.uk/exten... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.