Output details
11 - Computer Science and Informatics
Imperial College London
Article title
A type safe state abstraction for coordination in J-like languages
Type
D - Journal article
Title of journal
Acta Informatica
Article number
-
Volume number
45
Issue number
7-8
First page of article
479
ISSN of journal
0001-5903
Year of publication
2008
URL
-
Number of additional authors
3
Additional information
<10>In the traditional OO paradigm, an object's class is constant throughout it lifetime and determines its behaviour. We extend this paradigm and allow an object's class to change at runtime, and thus also change its behaviour. The crucial ramification is that this feature makes explicit locking of objects obsolete, and concurrent programs easier to develop. We investigate the integration of these ideas with the type system. Researchers in Glasgow and Lisbon applied our ideas to more flexible session types, while the CMU/Coimbra projects PLAID and Aeminum (http://www.cs.cmu.edu/~aldrich/) apply them to program verification.
Interdisciplinary
-
Cross-referral requested
-
Research group
E - Programming Languages and Systems
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
