ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS

Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola

2006

Abstract

We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over the value of fields) that plays a key role in concurrent object-oriented programming (as the state of an object changes, so does its coordination behavior). We show how state classes can be added to Java-like languages by presenting STATEJ, an extension of JAVA with state classes. The operational semantics of the state class construct is illustrated both at an abstract level, by means of a core calculus for STATEJ, and at a concrete level, by defining a translation from STATEJ into JAVA.

Paper Citation

in Harvard Style

Damiani F., Giachino E., Giannini P. and Cazzola E. (2006). ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 5-12. DOI: 10.5220/0001317700050012

in Bibtex Style

@conference{icsoft06,
author={Ferruccio Damiani and Elena Giachino and Paola Giannini and Emanuele Cazzola},
title={ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001317700050012},
isbn={978-972-8865-69-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - ON STATE CLASSES AND THEIR DYNAMIC SEMANTICS
SN - 978-972-8865-69-6
AU - Damiani F.
AU - Giachino E.
AU - Giannini P.
AU - Cazzola E.
PY - 2006
SP - 5
EP - 12
DO - 10.5220/0001317700050012