SCHOOL: a Small Chorded Object-Oriented Language

Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. 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.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach
• Keywords: ENTCS 2006, Formal Model, Programming Language C, Type System