Altmetric

A Featherweight Model for Chorded Languages

File Description SizeFormat 
featherweight-model-of-chords.pdfWorking Paper451.17 kBAdobe PDFView/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