Computing Publications

Publications Home » SCHOOL: a Small Chorded Object-Or...

SCHOOL: a Small Chorded Object-Oriented Language

Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach

Electronic Journal Article
Electronic Notes in Theoretical Computer Science
Volume 135
Issue 3
pp.37–47
March, 2006
Elsevier
ISSN 1571-0661
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.

Keywords
Distributed Software Engineering
SLURP
Concurrency
Language Design
PDF of full publication (222 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.