SCHOOL: a Small Chorded Object-Oriented Language

Authors:
S. Drossopoulou;A. Petrounias;A. Buckley;S. Eisenbach
Affiliations:
Department of Computing, Imperial College London, United Kingdom;Department of Computing, Imperial College London, United Kingdom;Department of Computing, Imperial College London, United Kingdom;Department of Computing, Imperial College London, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 5
Cited 2

Analysis of inheritance anomaly in object-oriented concurrent programming languages

Research directions in concurrent object-oriented programming
A syntactic approach to type soundness

Information and Computation
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Abstract Model of Java Dynamic Linking and Loading

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Modern concurrency abstractions for C#

ACM Transactions on Programming Languages and Systems (TOPLAS)

Putting events in context: aspects for event-based distributed programming

Proceedings of the tenth international conference on Aspect-oriented software development
Abstracting context in event-based software

Transactions on Aspect-Oriented Software Development IX

Quantified Score

Hi-index	0.00

Visualization

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.