@inproceedings{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.",
keywords = "Concurrent object-oriented language, Core calculus, Implementation by translation, Java, Small-step semantics",
author = "Ferruccio Damiani and Elena Giachino and Paola Giannini and Emanuele Cazzola",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2008.; 1st International Conference on Software and Data Technologies, ICSOFT 2006 ; Conference date: 11-09-2006 Through 14-09-2006",
year = "2008",
doi = "10.1007/978-3-540-70621-2_8",
language = "English",
isbn = "9783540706199",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "84--96",
editor = "Joaquim Filipe and Joaquim Filipe and Markus Helfert and Boris Shishkov and Boris Shishkov and Markus Helfert",
booktitle = "Software and Data Technologies - 1st International Conference, ICSOFT 2006, Revised Selected Papers",
address = "Germany",
}