F. Lang, P. Lescanne, and L. Liquori. A framework for defining object-calculi. In Proc. of World Congress on Formal Methods (FM) (Volume II), Toulouse, France, volume 1709 of LNCS, pages 963--982, Berlin, 1999. Springer-Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for Defining Object-Calculi - Lang, Lescanne, Liquori (1999) (2 citations) (Correct)
....of simultaneous rewriting, and presents Obj a through its four modules L, C, F, and I. Section 6 gives some examples motivating our framework. Finally, Section 7 compares our framework with some related works. A richer version of this paper (containing some open problems) can be found in [14]. 2 The Context of Obj a The framework Obj a is founded on an object based calculus, enriched with explicit substitution and addresses. We explain this in the current section. 2.1 Object based Calculi The last few years have addressed the foundation of object oriented languages. The ....
....Future works will focus on specific calculi as combination of modules and strategies e.g. the functional fragment with embedding and call by need, or the imperative fragment with delegation and call by value. It should also be interesting to study specific aspects like typing, strategies (see [14]) and distribution of objects across networks. Other useful extensions of this framework should be studied, such as providing an imperative override of fields in the style of [1, 5] i.e. a field look up and replacement. To this aim, a distinction has to be made between fields (and may be more ....
F. Lang, P. Lescanne, and L. Liquori. A framework for defining object calculi. Research Report RR
Foundations for Extensible Objects with Roles - Giorgio Ghelli Dipartimento (1999) (6 citations) (Correct)
No context found.
F. Lang, P. Lescanne, and L. Liquori. A framework for defining object-calculi. In Proc. of World Congress on Formal Methods (FM) (Volume II), Toulouse, France, volume 1709 of LNCS, pages 963--982, Berlin, 1999. Springer-Verlag.
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