Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Petrounias:2008,
author = {Petrounias, A and Drossopoulou, S and Eisenbach, S},
publisher = {Imperial College, Department of Computing},
title = {A Featherweight Model for Chorded Languages},
url = {http://hdl.handle.net/10044/1/5959},
year = {2008}
}
Download

RIS format (EndNote, RefMan)

TY  - RPRT
AB  - 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.
AU  - Petrounias,A
AU  - Drossopoulou,S
AU  - Eisenbach,S
PB  - Imperial College, Department of Computing
PY  - 2008///
TI  - A Featherweight Model for Chorded Languages
UR  - http://hdl.handle.net/10044/1/5959
ER  -
Download