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.
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.