F. Lang, P. Lescanne, and L. Liquori. A framework for dening object-calculi (extended abstract). In J.M. Wing, J. Woodcook, and J. Davies, editors, World Congress on Formal Methods in the Design of Computing Systems, number 1709 in Lecture Notes in Computer Science, pages 963-982. Springer-Verlag, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... Logic, and have been designed for many variants of calculus and related formalisms (e.g. type systems, natural deduction, or higher order logics) Besides the treatment of (functional) sequential computation, such an approach has also been recently adopted to study the object oriented paradigm [KML98,LLL99]. Our goal in this paper is to provide a similar account of concurrency, through the analysis of one of his most popular algebraic models, namely calculus. We concentrate on the mechanism of name passing, which lies at the heart of the expressiveness of this formalism, and analyse it by ....

F. Lang, P. Lescanne, and L. Liquori. A Framework for Dening ObjectCalculi. In Proceedings of FM '99, 1999. to appear.

....from which support for implementing several high level object calculi can be achieved. In this paper we present the calculus Obj a in which one can give a formal speci cation of the operational semantics for a variety of object based programming languages. In fact, Obj a (introduced in [LLL99] is a generic framework, leading to an easy classi cation of object based languages and their semantics, making a clear distinction between functional and imperative languages, i.e. languages with non mutable (persistent) objects and languages with mutable (ephemeral) objects. The calculus ....

....another module of Obj a not presented in this paper) These rules can be combined, as basic building blocks, provided possible conditions on their application, to de ne a lot of strategies. Finally, we plan to extend Obj a to handle the embedding based technique of inheritance, following [LLL99] to include a type system, compliant with imperative feature and allowing to type objects extending themselves, following [LLL98, GHL98] and to build a prototype of Obj a , from which it should be easy to embed speci c calculi and to make experiments on the design of realistic object ....

F. Lang, P. Lescanne, and L. Liquori. A framework for dening object-calculi (extended abstract). In J.M. Wing, J. Woodcook, and J. Davies, editors, World Congress on Formal Methods in the Design of Computing Systems, number 1709 in Lecture Notes in Computer Science, pages 963-982. Springer-Verlag, 1999.

No context found.

F. Lang, P. Lescanne, L. Liquori. A Framework for Dening Object-Calculi. In Proc. of FM '99, World Congress on Formal Methods in the Development of Computing Systems. Toulouse, France. Lecture Notes in Computer Science 1709, pages 963-982. Springer Verlag, 1999.

....object calculus as a step in the implementation of a high level object oriented language, as an intermediate language into which user code may be translated. Then we take as our task the problem of correctly and eciently executing this object calculus. In this paper (a companion paper to [LLL98, LLL99] we present a calculus Obj a in which one can give a formal speci cation of the operational semantics for a variety of object based programming languages. In fact, Obj a is a generic framework, leading to an easy classi cation of object based languages and their semantics, making a clear ....

....example will be useful to understand how objects are represented and how inheritance can be implemented in Obj a . For the sake of simplicity, we will not raise issues like privacy or encapsulation (so that we consider methods and elds to belong to the same abstraction level) Example 1 ( LLL99] Consider the following (untyped) de nition of a pixel prototype with three elds and one method. object pixel is x : 0; y : 0; onoff : true; set : a,b,c) self.x : a) y : b) onoff : c end Consider the following code fragment (below, denotes both a method override and ....

[Article contains additional citation context not shown here]

F. Lang, P. Lescanne, and L. Liquori. A framework for dening object-calculi (extended abstract). In J.M. Wing, J. Woodcook, and J. Davies, editors, World Congress on Formal Methods in the Design of Computing Systems, number 1709 in Lecture Notes in Computer Science, pages 963-982. Springer-Verlag, 1999.

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