Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
424133 | Electronic Notes in Theoretical Computer Science | 2006 | 11 Pages |
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