The Magda Language : Ten Years After

• Autorzy: Bono Viviana

Identyfikatory

DOI

10.3233/FI-2019-1854

• Języki publikacji: EN

Abstrakty

EN

We discuss Magda ten years after its design. Magda is a mixin-oriented programming language and its goal is to improve code modularity and, as a consequence, code reuse. The aim of this paper is to survey Magda and position it in today’s programming language scenarios.

Słowa kluczowe

EN

object-oriented programming language; mixin; modularity; code reuse

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2019
• Tom: Vol. 170, nr 1-3
• Strony: 15--38
• Opis fizyczny: Bibliogr. 38 poz., rys.

Twórcy

autor

Bono Viviana

• Dipartimento di Informatica, University of Torino, Corso Svizzera 185, 10149 Torino, Italy

Bibliografia

• [1] Abadi M, Cardelli L. A Theory of Objects. Springer New York, Inc., Secaucus, NJ, USA, 1996. ISBN: 978-0-387-94775-4. doi:10.1007/978-1-4419-8598-9.
• [2] Fisher K, Honsell F, Mitchell JC. A Lambda-Calculus of Objects and Method Specialization. Nordic J. of Computing, 1994. 1(1):3-37. Preliminary version appeared in Proc. LICS ’93, pp. 26-38.
• [3] Bruce KB. Foundations of object-oriented languages - types and semantics. MIT Press, 2002. ISBN: 978-0-262-02523-2.
• [4] Igarashi A, Pierce BC, Wadler P. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 2001. 23(3):396-450. doi:10.1145/503502.503505.
• [5] Cook S. OOPSLA 1987 - Panel P2 - Varieties on Inheritance. In: Proc. OOPSLA 1987 – Addendum to Proceedings. ACM Press, 1987 pp. 35-40.
• [6] Bracha G, Cook WR. Mixin-based Inheritance. In: OOPSLA/ECOOP 1990 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, volume 25 of ACM SIGPLAN Notices. 1990 pp. 303-311. doi:10.1145/97945.97982.
• [7] Moon DA. Object-Oriented Programming with Flavors. In: Proc. OOPSLA 1986. ACM Press, 1986 pp. 1-8. doi:10.1145/28697.28698.
• [8] Bracha G. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. thesis, The University of Utah, 1992.
• [9] Ancona D, Zucca E. An algebra of mixin modules. In: Proc. International Workshop on Algebraic Development Techniques - WADT 1997: Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. Springer, 1997 pp. 92-106. doi:10.1007/3-540-64299-4_28.
• [10] Flatt M, Krishnamurthi S, Felleisen M. Classes and Mixins. In: Proc. POPL 1998. ACM, 1998 pp. 171-183. doi:10.1145/268946.268961.
• [11] Bono V, Patel A, Shmatikov V. A Core Calculus of Classes and Mixins. In: Proc. ECOOP 1999 - Object-Oriented Programming - 13th European Conference, volume 1628 of LNCS. Springer, 1999 pp. 43-66. doi:10.1007/3-540-48743-3_3.
• [12] Ancona D, Lagorio G, Zucca E. Jam — a smooth extension of Java with mixins. In: Proc. ECOOP 2000 - Object-Oriented Programming - 14th European Conference, volume 1850 of LNCS. Springer, 2000 pp. 145-178. doi:10.1007/3-540-45102-1_8.
• [13] Schärli N, Ducasse S, Nierstrasz O, Black AP. Traits: Composable Units of Behaviour. In: ECOOP 2003 - Object-Oriented Programming - 17th European Conference, volume 2743 of LNCS. Springer, 2003 pp. 248-274. doi:10.1007/978-3-540-45070-2_12.
• [14] Ducasse S, Nierstrasz O, Schärli N, Wuyts R, Black AP. Traits: A mechanism for fine-grained reuse. ACM Trans. Program. Lang. Syst., 2006. 28(2):331-388. doi:10.1145/1119479.1119483.
• [15] Kuśmierek J. A Mixin Based Object-Oriented Calculus: True Modularity in Object-Oriented Programming. Ph.D. thesis, Warsaw University, Departement of Informatics, 2010. URL http://www.mimuw.edu.pl/˜jdk/mixiny.pdf.
• [16] Bono V, Kuśmierek J, Mulatero M. Magda: A New Language for Modularity. In: Proc. ECOOP 2012 - Object-Oriented Programming - 26th European Conference, volume 7313 of LNCS. Springer, 2012 pp. 560-588. doi:10.1007/978-3-642-31057-7_25.
• [17] Kuśmierek J, Mulatero M, Naddeo M. The Magda language implementation. URL http://sourceforge.net/projects/magdalanguage.
• [18] Flatt M, Krishnamurthi S, Felleisen M. A Programmer’s Reduction Semantics for Classes and Mixins. In: Formal Syntax and Semantics of Java. Springer, 1999 pp. 241-269. doi:10.1007/3-540-48737-9_7.
• [19] The Scala Group. Scala Website. URL http://www.scala-lang.org/.
• [20] Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional, 1 edition, 1994. ISBN: 0201633612.
• [21] Eclipse Industry Working Groups. Xtext Website. URL https://www.eclipse.org/Xtext/.
• [22] Naddeo M. A Mixin Based Object-Oriented Calculus: True Modularity in Object-Oriented Programming. Ph.D. thesis, University of Torino and University of Lille co-tutelle, 2017. URL https://hal.inria.fr/tel-01651738.
• [23] Bergel A, Ducasse S, Nierstrasz O, Wuyts R. Stateful traits and their formalization. Computer Languages, Systems and Structures, 2008. 34(2-3):83-108. doi:10.1016/j.cl.2007.05.003.
• [24] The Core Less Team. Less Website. URL http://lesscss.org/.
• [25] Hampton Catlin, Natalie Weizenbaum, Chris Eppstein, and numerous contributors. Sass Website. URL https://sass-lang.com/.
• [26] The Apache Software Foundation. Groovy Website. URL http://groovy-lang.org/.
• [27] Siek JG, Taha W. Gradual Typing for Objects. In: Proc. ECOOP 2007 - Object-Oriented Programming - 21st European Conference, volume 4609 of LNCS. Springer, 2007 pp. 2-27. doi:10.1007/978-3-540-73589-2_2.
• [28] Apple Inc. Swift Website. URL https://swift.org/.
• [29] Jet Brains. Kotlin Website. URL https://kotlinlang.org/.
• [30] Kuśmierek J, Bono V. Big-step Operational Semantics Revisited. Fundam. Inform., 2010. 103(1-4):137-172. doi:10.3233/FI-2010-323.
• [31] Leroy X, Grall H. Coinductive big-step operational semantics. CoRR, 2008. abs/0808.0586.
• [32] Ibraheem H, Schmidt DA. Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ”Higher-Order” Derivations. Electr. Notes Theor. Comput. Sci., 1997. 10:121. doi:10.1016/S1571-0661(05)80692-9.
• [33] Ager MS. From Natural Semantics to Abstract Machines. In: Logic Based Program Synthesis and Transformation, volume 3573 of LNCS. Springer, 2005 pp. 245-261. doi:10.1007/1150667616.
• [34] Gunter CA, Rémy D. A Proof-Theoretic Assesment of Runtime Type Errors, 1993. AT&T Bell Laboratories Technical Memo 11261-921230-43TM.
• [35] Stoughton A. An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. Electr. Notes Theor. Comput. Sci., 1997. 10:122-133. doi:10.1016/S1571-0661(05)80693-0.
• [36] Goy A, Magro D. What are Ontologies Useful For? In: Khosrow-Pour M (ed.), Encyclopedia of Information Science and Technology, Third Edition, pp. 7456-7464. IGI Global, 2015.
• [37] W3C OWL Working Group. OWL Website. URL https://www.w3.org/OWL/.
• [38] Suárez-Figueroa MC, Gómez-Pérez A, Fernández-López M. The NeOn Methodology framework: A scenario-based methodology for ontology development. Applied Ontology, 2015. 10(2):107-145. doi:10.3233/AO-150145.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).