Article ID Journal Published Year Pages File Type
424133 Electronic Notes in Theoretical Computer Science 2006 11 Pages PDF
Abstract

Chords are a declarative synchronisation construct based on the Join-calculus, available in the programming language C-omega. To our knowledge, chords have no formal model in an object-oriented setting. In this paper we suggest SCHOOL, a formal model for an imperative, object-oriented language with chords. We give an operational semantics and type system, and can prove soundness of the type system.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics