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.
EnglishWe present a calculus for modelling “environment-aware” computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an imperative, object-based language with extensible objects, equipped with a labelled transition semantics. A notion of bisimulation, lifting to computations a correspondence between the capabilities of different environments, is provided. Bisimulation can be used to prove that a program is “cross-environment”, i.e., it has the same behaviour when run in different environments.
| Titolo: | A calculus for "environment-aware" computation | |
| Autori Riconosciuti: | ||
| Autori: | Viviana Bono; Ferruccio Damiani; Paola Giannini | |
| Data di pubblicazione: | 2002 | |
| Abstract: | We present a calculus for modelling “environment-aware” computations, that is computations that adapt their behaviour according to the capabilities of the environment. The calculus is an imperative, object-based language with extensible objects, equipped with a labelled transition semantics. A notion of bisimulation, lifting to computations a correspondence between the capabilities of different environments, is provided. Bisimulation can be used to prove that a program is “cross-environment”, i.e., it has the same behaviour when run in different environments. | |
| Volume: | 66 | |
| Fascicolo: | 3 | |
| Pagina iniziale: | 98 | |
| Pagina finale: | 115 | |
| Nome del convegno: | F-WAN: Foundations of Wide Area Network Computing - ICALP 2002 Satellite Workshop | |
| Luogo del convegno: | Malaga, spain | |
| Anno del convegno: | 12-13 July 2002 | |
| Digital Object Identifier (DOI): | 10.1016/S1571-0661(04)80418-3 | |
| Parole Chiave: | Bisimulation; Object oriented programming; Semantics | |
| Rivista: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | |
| Appare nelle tipologie: | 04B-Conference paper in rivista |
File in questo prodotto:
Copyright © 2022