D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....mixins. Bracha has investigated the use of mixin modules as a general language for expressing inheritance and overriding in objects [7, 8, 9] His system is based on earlier work by Cook [12] and its underlying semantics was more recently reformulated in categorical terms by Ancona and Zucca [5]. Bracha s system gives the programmer a mechanism for defining modules (classes, in our sense) as a collection of attributes (methods) Modules can be combined into new modules through various merging operators. Roughly speaking, these operators provide an assembly language for expressing ....

....bindings, which provides a theoretical foundation for implementing both modules and classes. Similarly, Jagannathan [39] and Miller and Rozas [61] propose first class environments as a common mechanism. Bracha [7] explores mixins for both modular and object oriented programming; Ancona and Zucca [5] provide a categorical treatment of this view. Our work is complementary to all of the above work, because we concentrate on the principles behind designing constructs for use by programmers, rather than the method used to implement those constructs. Other research on programming language support ....

Ancona, D. and E. Zucca. An algebraic approach to mixins and modularity. In Hanus, M. and M. Rodr'iguez-Artalejo, editors, Proc. Conference on Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 179--193. Springer-Verlag, 1996.

....for mixins. Bracha has investigated the use of mixin modules as a general language for expressing inheritance and overriding in objects [6 8] His system is based on earlier work by Cook [9] and its underlying semantics was more recently reformulated in categorical terms by Ancona and Zucca [5]. Bracha s system gives the programmer a mechanism for defining modules (classes, in our sense) as a collection of attributes (methods) Modules can be combined into new modules through various merging operators. Roughly speaking, these operators provide an assembly language for expressing ....

Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Proc. Conference on Algebraic and Logic Programming (1996), M. Hanus and M. Rodr'iguez-Artalejo, Eds., vol. 1139 of Lecture Notes in Computer Science, Springer-Verlag, pp. 179--193.

....copy the units in which C appears to substitute C , and so on. To make replacing components easier, a future version of Knit will support composition specifications that are defined in terms of existing composition specifications, but with certain components overridden by replacement components [1, 3]. A subtyping relationship on unit interfaces would ensure that such compositions can be statically checked by comparing the overridden unit s interface with the overriding unit s interface. It may even be possible to extend the subtyping relationship to the behavior aspects of a unit s ....

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr guezArtalejo, editors, Proc. Conference on Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 179--193. Springer-Verlag, 1996.

....definitions. However, methods not mentioned in the superclass type become inaccessible. In the example of section 2.4, this would mean that all methods that are present in the Socket Pi Object class besides read and write are forgotten once Encrypted mixin is applied to it. Ancona and Zucca [2] study a rigorous semantics foundations for mixins independently from the notions of classes and objects, starting from an algebraic setting for module composition. It may be possible to apply their techniques to the study of the algebraic semantics of our calculus. 7 Conclusions and Future Work ....

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In Proc. Algebraic and Logic Programming (ALP), pages 179--193. LNCS 1139, Springer-Verlag, 1996.

....mixins. Bracha has investigated the use of mixin modules as a general language for expressing inheritance and overriding in objects [7, 8, 9] His system is based on earlier work by Cook [12] and its underlying semantics was more recently reformulated in categorical terms by Ancona and Zucca [5]. Bracha s system gives the programmer a mechanism for defining modules (classes, in our sense) as a collection of attributes (methods) Modules can be combined into new modules through various merging operators. Roughly speaking, these operators provide an assembly language for expressing ....

....bindings, which provides a theoretical foundation for implementing both modules and classes. Similarly, Jagannathan [39] and Miller and Rozas [61] propose first class environments as a common mechanism. Bracha [7] explores mixins for both modular and object oriented programming; Ancona and Zucca [5] provide a categorical treatment of this view. Our work is complementary to all of the above work, because we concentrate on the principles behind designing constructs for use by programmers, rather than the method used to implement those constructs. Other research on programming language support ....

Ancona, D. and E. Zucca. An algebraic approach to mixins and modularity. In Hanus, M. and M. Rodr'iguez-Artalejo, editors, Proc. Conference on Algebraic and Logic Programming, volume 1139 of Lecture Notes in Computer Science, pages 179--193. Springer-Verlag, 1996.

....which provides a theoretical foundation for implementing both modules and classes. Similarly, Jagannathan [21] and Miller and Rozas [29] proposed first class environments as a common mechanism. Bracha [3] has explored mixins for both modular and object oriented programming; Ancona and Zucca [1] provide a categorical treatment of this view. Our work is complementary to all of the above work, because we focus on designing the constructs to be used by a programmer, rather than the method used to implement those constructs. Languages that have promoted modularization, including Mesa [31] ....

Ancona, D. and E. Zucca. An algebraic approach to mixins and modularity. In Hanus, M. and M. Rodr'iguez-Artalejo, editors, Proc. Conference on Algebraic and Logic Programming, Lecture Notes in Computer Science 1139, pages 179--193, Berlin, 1996. Springer Verlag.

.... of name as the key to the construction of incremental programs is a view widely shared [18, 23, 24] in the the context of modular construction of programs, the notion of mixins [5] where names are used as deoeered references in another mixins, generalizes inheritance [6] module composition [2, 14] and separate compilation [1] The preceedings examples show that the concept of name is a central notion in the incremental construction of programs and this view has been subsequently stressed by many authors [18, 23, 24, 14, 6] In this work, we will develop a general core language used for ....

....the main operator is the binary merge operator: if M 1 and M 2 are two mixins, then M 1 M 2 is a mixin where some de nitions of M 1 are associated with the corresponding declarations in M 2 and conversely. This operator is commutative and is de ned whenever no components are de ned on both sides [2]. Note that this approach enables the recursive de nition of components split over several modules [14] which is not possible with regular modules (like in Standard ML for example) Additional operators (restrict, hide, freeze, rename, functional composition, are de ned to manage name ....

Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Algebraic and Logic Programming, 5th International Conference, ALP'96 (Aachen, Germany, 2527 Sept. 1996), M. Hanus and M. Rodr#guez-Artalejo, Eds., vol. 1139 of lncs, Springer, pp. 179193.

....for mixins. Bracha has investigated the use of mixin modules as a general language for expressing inheritance and overriding in objects [5, 6, 7] His system is based on earlier work by Cook [8] its underlying semantics was recently reformulated in categorical terms by Ancona and Zucca [4]. Bracha s system gives the programmer a mechanism for defining modules (classes, in our sense) as a collection of attributes (methods) Modules can be combined into new modules through various merging operators. Roughly speaking, these operators provide an assembly language for expressing ....

Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Proc. Conference on Algebraic and Logic Programming (Berlin, 1996), M. Hanus and M. Rodr'iguez-Artalejo, Eds., Lecture Notes in Computer Science 1139, Springer Verlag, pp. 179--193.

....operators for mixins. Bracha has investigated the use of mixin modules as a general language for expressing inheritance and overriding in objects [5 7] His system is based on earlier work by Cook [8] its underlying semantics was recently reformulated in categorical terms by Ancona and Zucca [4]. Bracha s system gives the programmer a mechanism for defining modules (classes, in our sense) as a collection of attributes (methods) Modules can be combined into new modules through various merging operators. Roughly speaking, these operators provide an assembly language for expressing ....

Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Proc. Conference on Algebraic and Logic Programming (Berlin, 1996), M. Hanus and M. Rodr'iguez-Artalejo, Eds., Lecture Notes in Computer Science 1139, Springer Verlag, pp. 179--193.

No context found.

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

....mixin expressions. Introduction The notion of mixin, firstly introduced in the context of object oriented programming [7] has recently become the subject of increasing interest in many respects and with many slight variations in the intended meaning [6, 8, 4, 12, 19] Some preceding work of us [1, 2] has been devoted to a rigorous formulation of the notion, covering and making precise the various ways in which the word is used in the literature; we refer to this formulation in the discussion below. Mixins (or mixin modules) are a generalization of usual modules in programming languages, which ....

....the user to explicitly specify whether, in case of redefinition of m, m 0 should refer to the new or to the old version. We will say that m is virtual in the first case, frozen in the second (cfr. virtual and non virtual methods in C , while the term frozen has been introduced in [6] In [1, 2] we have proposed a formal model for mixin modules. The basic idea is to see a mixin as a function from input to output components, where output components are those defined in the module, while input components are those which definitions in the module can depend on (hence deferred and virtual ....

[Article contains additional citation context not shown here]

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

....procedures, exceptions and so on) but where the definition of some components can be deferred to another mixin (even in a mutually recursive way) Thus the typical operator for composing mixins is a binary merge operator. In some preceding work [2] whose short preliminary version has appeared in [1]) we have provided formal foundations for the mixin notion: more precisely, we have defined an algebraic model of mixins and three basic operators (merge, reduct and freeze) whose semantics is given w.r.t. to this model. These operators constitute a kernel language both syntactically and ....

....oriented language, and the formal model we propose for this notion. Then, we define three basic operators for manipulating mixins and one derived operator. Since in this paper the aim is the analysis of overriding operators, we keep the presentation as simple as possible; the reader can refer to [1, 2] for an extended presentation. Consider the following example. In a bookshop, clients may have some facilities if they own a card. A card contains some information, like its price and the discount rate on books, and can be modeled by the following class: Card = class card price = 20 book discount ....

[Article contains additional citation context not shown here]

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

....Finally, in Sect. 5 we make some comparison with related work and outline our further research on this subject. Technical details and a more concrete model based on the notion of signature inclusion are given in the Appendix. A preliminary presentation of the ideas in this paper has been given in [3]; some strictly related work is in [2, 6, 5] 1 Mixins and Mixin Operators: An Informal Introduction In this section, we introduce the notion of mixin module and the most relevant composition operators, by means of some examples written in Standard ML [38] We recall that SML supports the ....

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

No context found.

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

....combined with a superclass by means of an inheritance operator allowing overriding of methods. The construct of mixin has been explicitly proposed in OOP for the first time in [6] even though similar constructs have already been introduced with the languages Beta [17] and CLOS [16] Subsequently [5, 7, 12, 1], the notion of mixin has been recognized to be independent from OOP and has been used for extending the classical notion of module, showing the practical application to any modular language. In MIX(FL) a mixin is a module which contains deferred components (functions and types) i.e. components ....

....by a base language and its type checker. From the theoretical point of view, this separation allows to study the type and semantic aspects of the module language independently from the core language; see some recent work on the type theoretic foundations of SML modules [14, 18] and our work in [1, 3], where we propose an algebraic framework for the semantics of a mixin module system parameterized by a core language. This work has been partially supported by Murst 40 Modelli della computazione e dei linguaggi di programmazione and CNR, Italy. The aim of this paper is two fold. First, ....

[Article contains additional citation context not shown here]

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In M. Hanus and M. Rodr'iguez Artalejo, editors, ALP '96 - 5th Intl. Conf. on Algebraic and Logic Programming, number 1139 in Lecture Notes in Computer Science, pages 179--193, Berlin, 1996. Springer Verlag.

No context found.

Ancona, D., and Zucca, E. An algebraic approach to mixins and modularity. In Algebraic and Logic Programming, 5th International Conference, ALP'96 (Aachen, Germany, 2527 Sept. 1996), M. Hanus and M. Rodrguez-Artalejo, Eds., vol. 1139 of lncs, Springer, pp. 179193.

No context found.

D. Ancona and E. Zucca. An algebraic approach to mixins and modularity. In Proc. Algebraic and Logic Programming (ALP), pages 179--193. LNCS 1139, Springer-Verlag, 1996.

No context found.

D. Ancona, E. Zucca. An algebraic approach to mixins and modularity. In Proc. ALP 96, Springer LNCS 1139 (1996) 179-193.

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