On state classes and their dynamic semantics

F DAMIANI; ELENA GIACHINO; Paola GIANNINI; EMANUELE CAZZOLA

On state classes and their dynamic semantics

F DAMIANI
, ELENA GIACHINO
, Paola GIANNINI
, EMANUELE CAZZOLA

Department of Sustainable Development and Ecological Transition

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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.

Original language	English
Title of host publication	Software and DataTechnologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Publisher	SPRINGER
Pages	84-96
Volume	10
Publication status	Published - 2008

Access to Document

http://hdl.handle.net/11579/28413

Cite this

@inbook{1ee361598cd444bf8b8105f60b8f8141,

title = "On state classes and their dynamic semantics",

abstract = "We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object{\textquoteright}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.",

author = "F DAMIANI and ELENA GIACHINO and Paola GIANNINI and EMANUELE CAZZOLA",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2008.",

year = "2008",

language = "English",

volume = "10",

pages = "84--96",

booktitle = "Software and DataTechnologies First International Conference, ICSOFT 2006, Set{\'u}bal, Portugal, September 11-14, 2006, Revised Selected Papers",

publisher = "SPRINGER",

}

TY - CHAP

T1 - On state classes and their dynamic semantics

AU - DAMIANI, F

AU - GIACHINO, ELENA

AU - GIANNINI, Paola

AU - CAZZOLA, EMANUELE

PY - 2008

Y1 - 2008

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.

UR - https://iris.uniupo.it/handle/11579/28413

M3 - Chapter

VL - 10

SP - 84

EP - 96

BT - Software and DataTechnologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

PB - SPRINGER

ER -

On state classes and their dynamic semantics

Abstract

Access to Document

Other files and links

Fingerprint

Cite this