A Featherweight Model for Chorded Languages
File(s)featherweight-model-of-chords.pdf (451.17 KB)
Working Paper
Author(s)
Petrounias, A
Drossopoulou, S
Eisenbach, S
Type
Report
Abstract
Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join-Calculus. We present SCHOOL, the Small Chorded Object-Oriented Language, a featherweight model which aims to capture the essence of the concurrent behaviours of chords. Our model serves as a generalisation of chorded behaviours found in existing experimental languages such as Polyphonic C-sharp. Furthermore, we study the interaction of chords with fields by extending SCHOOL to include fields, resulting in fSCHOOL. Fields are orthogonal to chords in terms of concurrent behaviours. We show that adding fields to SCHOOL does not change its expressiveness by means of an encoding between the two languages.
Version
Working Paper
Date Issued
2008-12
Citation
2008, pp.1-47
Publisher
Imperial College, Department of Computing
Start Page
1
End Page
47
Copyright Statement
© 2008 Imperial College, Department of Computing