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.
F. Damiani, E. Giachino, P. Giannini, E. Cazzola (2008). On state classes and their dynamic semantics. HEIDELBERG : Springer [10.1007/978-3-540-70621-2_8].
On state classes and their dynamic semantics
GIACHINO, ELENA;
2008
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.