CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishObjects' 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 |
Copyright © 2022