On state classes and their dynamic semantics

Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer 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.

Lingua originaleInglese
Titolo della pubblicazione ospiteSoftware and Data Technologies - 1st International Conference, ICSOFT 2006, Revised Selected Papers
EditorJoaquim Filipe, Joaquim Filipe, Markus Helfert, Boris Shishkov, Boris Shishkov, Markus Helfert
EditoreSpringer Verlag
Pagine84-96
Numero di pagine13
ISBN (stampa)9783540706199
DOI
Stato di pubblicazionePubblicato - 2008
Evento1st International Conference on Software and Data Technologies, ICSOFT 2006 - Setubal, Portugal
Durata: 11 set 200614 set 2006

Serie di pubblicazioni

NomeCommunications in Computer and Information Science
Volume10
ISSN (stampa)1865-0929
ISSN (elettronico)1865-0937

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???1st International Conference on Software and Data Technologies, ICSOFT 2006
Paese/TerritorioPortugal
CittàSetubal
Periodo11/09/0614/09/06

Fingerprint

Entra nei temi di ricerca di 'On state classes and their dynamic semantics'. Insieme formano una fingerprint unica.

Cita questo