next up previous
Next: Syntax of a Splice-like Up: Introduction Previous: Tool support

Structure of this paper

The structure of the paper is as follows. In section 2 we introduce a simple language with Splice interaction primitives. A semantics for this language based on the conceptual model with a single global dataspace is presented in section 3. A semantics based on the implementation model with distributed local dataspaces is defined in section 4. In section 5 we show that these two semantics are equivalent. Section 6 contains a brief discussion of related work and some concluding remarks can be found in section 7.



Roel Bloo 1999-11-26