On state classes and their dynamic semantics

We introduce state classes. a construct to program objects that call 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 ail object changes, so does its coordination behavior). We show how state classes call 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.