Viviana Bono, Ferruccio Damiani, et al.  Home/Search
Context
Related
| di.unito.it/~damiani/paper...fwan02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: macs.hw.ac.uk/D...+Gia:FWAN2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 di#erent environments, is provided. Bisimulation can be used to prove that a program is "cross-environment",... (Update)
Active bibliography (related documents): More All
0.5: Extensible Objects: a Tutorial - Bono (Correct)
0.4: Alias Types for "environment-Aware" Computations - Damiani, al. (2003) (Correct)
0.2: Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
Similar documents based on text: More All
0.3: Refined Effects for Reclassification: Fickle_III - Damiani, Dezani-Ciancaglini, .. (2001) (Correct)
0.3: Principal Typings and True Rank 2 Intersection Typable Recursive.. - Damiani (2003) (Correct)
0.3: Refined Effects for Unanticipated Object.. - Damiani.. (2003) (Correct)
BibTeX entry: (Update)
@misc{ bono-calculus,
author = "Viviana Bono and Ferruccio Damiani and et al.",
title = "A Calculus for "environment-Aware" Computation",
url = "citeseer.ist.psu.edu/bono02calculus.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
861 Tcl and the Tk Toolkit - Ousterhout - 1994
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
84 Scripting: higher level programming for the 21st century - Ousterhout - 1998
63 A Lambda Calculus of Objects and Method Specialization - Fisher, Honsell et al. - 1994
32 Type Systems for Object-Oriented Programming Languages - Fisher - 1996
27 Closed Types for a Safe Imperative MetaML - Calcagno, Moggi et al.
19 First-Order Calculus with Object Extension (context) - Bono, Fisher - 1998
7 Matching for the Lambda Calculus of Objects - Bono, Bugliesi - 1999
3 JavaScript: The definitive guide (context) - Flannanghan - 1999
http://msdn.microsoft.com/library/
http://www.dansteinman.com/dynduo/
http://www.disi.unige.it/project/dart/
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC