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
- First International Workshop on Developments in Computational Models (DCM 2005) Lisbon, Portugal 10 July 2005 Edited by M. Fernández and I. Mackie
- 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.