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.
On state classes and their dynamic semantics / F. Damiani; E. Giachino; P. Giannini; E. Cazzola. - STAMPA. - 10:(2008), pp. 84-96. [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.