• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

A Calculus of Evolving Objects ⋆

Cached

  • Download as a PDF

Download Links

  • [www.iam.unibe.ch]
  • [scg.unibe.ch]
  • [www.di.unito.it]
  • [www.di.unito.it]
  • [scg.unibe.ch]
  • [www.iam.unibe.ch]
  • [homepages.fh-regensburg.de]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Mariangiola Dezani-ciancaglini , Paola Giannini , Oscar Nierstrasz
Citations:7 - 5 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Dezani-ciancaglini_acalculus,
    author = {Mariangiola Dezani-ciancaglini and Paola Giannini and Oscar Nierstrasz},
    title = {A Calculus of Evolving Objects ⋆},
    year = {}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Abstract. The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototypebased models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, finegrained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system. 1

Citations

827 A Theory of Objects - Abadi, Cardelli - 1996
578 Types and Programming Languages - Pierce - 2002
466 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 1999
377 Subject-oriented programming (a critique of pure objects - Harrison, Ossher - 1993
359 Explicit Substitutions - Abadi, Cardelli, et al. - 1992
239 Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
76 A calculus of mobile processes, part I/II - Milner, Parrow, et al. - 1992
45 Towards type inference for JavaScript - Anderson, Giannini, et al. - 2005
43 Objects in the π-calculus - Walker - 1995
38 Contextoriented programming - Hirschfeld, Costanza, et al.
35 A simple and unifying approach to subjective objects - Smith, Ungar - 1996
32 Dynamic rebinding for marshalling and update, with destruct-timeλ - Bierman, Hicks, et al. - 2003
29 Pierre-Louis Curien, and Jean-Jacques Lévy. Explicit substitutions - Abadi, Cardelli - 1991
13 A Programming Language Supporting First-Class, Parallel Environments - Jagannathan - 1988
13 Éric Tanter. Unanticipated partial behavioral reflection: Adapting applications at runtime - Röthlisberger, Denker - 2008
11 Environmental acquisition: a new inheritance-like abstraction mechanism - Gil, Lorenz - 1996
10 Supporting reconfigurable security policies for mobile programs - Hashii, Malabarba, et al.
10 Polyvios Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming - Neamtiu, Hicks, et al. - 2008
9 Type checking for JavaScript - Anderson, Giannini - 2004
6 A parametric calculus for mobile open code - Ancona, Fagorzi, et al.
6 Alias types for “environment-aware” computations - Damiani, Giannini - 2003
6 Contractual types - Nierstrasz - 2003
6 On the revival of dynamic languages - Nierstrasz, Bergel, et al. - 2005
5 O.: A calculus for reasoning about software composition - Achermann, Nierstrasz - 2005
3 Supporting unanticipated changes with Traits and Classboxes - Bergel, Ducasse - 2005
3 A form-based metamodel for software composition - Lumpe, Schneider
3 Programmable environment calculus as theory of dynamic software evolution - Nishizaki - 2000
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University