Objects' state, intended as some abstraction over the value of fields, is always in the mind of a COOL (Concurrent Object-Oriented Language) programmer. In fact, as the state of an object changes so does its coordination behaviour. We introduce a language feature for expressing the notion of state in Java-like languages. The proposed feature takes the form of state class, a new kind of class, equipped with a static type and effect system guaranteeing that during the execution of a method on a receiver o: (1) Even though the state of o may vary through states with different parameters, no attempt will be made to access non-existing parameters, and (2) No method invoked on a receiver different from this may cause (through method calls on o) a change in the state of o.
Titolo: | A State Abstraction for Coordination in Java-like Languages | |
Autori Riconosciuti: | ||
Autori: | F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU | |
Data di pubblicazione: | 2006 | |
Abstract: | Objects' state, intended as some abstraction over the value of fields, is always in the mind of a COOL (Concurrent Object-Oriented Language) programmer. In fact, as the state of an object changes so does its coordination behaviour. We introduce a language feature for expressing the notion of state in Java-like languages. The proposed feature takes the form of state class, a new kind of class, equipped with a static type and effect system guaranteeing that during the execution of a method on a receiver o: (1) Even though the state of o may vary through states with different parameters, no attempt will be made to access non-existing parameters, and (2) No method invoked on a receiver different from this may cause (through method calls on o) a change in the state of o. | |
Editore: | Erik Poll | |
Titolo del libro: | Formal Techniques for Java-like Programs | |
Volume: | - | |
Pagina iniziale: | - | |
Pagina finale: | - | |
Nome del convegno: | Formal Techniques for Java-like Programs | |
Luogo del convegno: | Nantes (France) | |
Anno del convegno: | July 3-7 | |
URL: | http://www.cs.ru.nl/ftfjp/ http://www.cs.ru.nl/ftfjp/2006/index.html http://www.di.unito.it/~damiani/papers/ftfjp06.html | |
Parole Chiave: | Concurrent Object-Oriented Language; Type system | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
paper05.pdf | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Accesso aperto | Open Access Visualizza/Apri |