TY - GEN
T1 - On state classes and their dynamic semantics
AU - Damiani, Ferruccio
AU - Giachino, Elena
AU - Giannini, Paola
AU - Cazzola, Emanuele
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
KW - Concurrent object-oriented language
KW - Core calculus
KW - Implementation by translation
KW - Java
KW - Small-step semantics
UR - https://www.scopus.com/pages/publications/56549117964
M3 - Conference contribution
AN - SCOPUS:56549117964
SN - 9728865694
SN - 9789728865696
T3 - ICSOFT 2006 - 1st International Conference on Software and Data Technologies, Proceedings
SP - 5
EP - 12
BT - ICSOFT 2006 - 1st International Conference on Software and Data Technologies, Proceedings
T2 - 1st International Conference on Software and Data Technologies, ICSOFT 2006
Y2 - 11 September 2006 through 14 September 2006
ER -