Altmetric
A Featherweight Model for Chorded Languages
File | Description | Size | Format | |
---|---|---|---|---|
featherweight-model-of-chords.pdf | Working Paper | 451.17 kB | Adobe PDF | View/Open |
Title: | A Featherweight Model for Chorded Languages |
Authors: | Petrounias, A Drossopoulou, S Eisenbach, S |
Item 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. |
Content Version: | Working Paper |
Issue Date: | 31-Dec-2008 |
URI: | http://hdl.handle.net/10044/1/5959 |
Publisher Link: | http://pubs.doc.ic.ac.uk/featherweight-model-of-chords/ |
DOI: | https://doi.org/10.25561/5959 |
Publisher: | Imperial College, Department of Computing |
Start Page: | 1 |
End Page: | 47 |
Copyright Statement: | © 2008 Imperial College, Department of Computing |
Appears in Collections: | Distributed Software Engineering Computing |