Filters








268 Hits in 2.6 sec

A core calculus of higher-order mixins and classes

Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004 Proceedings of the 2004 ACM symposium on Applied computing - SAC '04  
We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove the  ...  absence of message-not-understood run-time errors.  ...  In this work we extend the core calculus of classes and mixins of [3] with higher-order mixins.  ... 
doi:10.1145/967900.968200 dblp:conf/sac/BettiniBL04 fatcat:yaudiot6ybejbnfaxilb3zrfie

A Core Calculus of Higher-Order Mixins and Classes [chapter]

Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004 Lecture Notes in Computer Science  
We present an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modelled in a formal setting, allowing to prove the  ...  absence of message-not-understood run-time errors.  ...  In this work we extend the core calculus of classes and mixins of [3] with higher-order mixins.  ... 
doi:10.1007/978-3-540-24849-1_6 fatcat:7n7imebnjrhffhqlhhkwmeshku

A Core Calculus of Classes and Mixins [chapter]

Viviana Bono, Amit Patel, Vitaly Shmatikov
1999 Lecture Notes in Computer Science  
By introducing classes and mixins as the basic object-oriented constructs in a -calculus with records and references, we obtain a system with an intuitive operational semantics.  ...  We develop an imperative calculus that provides a formal model for both single and mixin inheritance.  ...  to account for higher-order mixins.  ... 
doi:10.1007/3-540-48743-3_3 fatcat:c5bjdqa53jd4bptlcifje5kdqa

A core calculus of mixins and incomplete objects

Lorenzo Bettini, Viviana Bono, Silvia Likavec
2004 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04  
Our calculus combines class-based features with object-based ones, with the aim of fitting into a unified setting the "best of both worlds".  ...  In a mixin-based approach, mixins are seen as incomplete classes from which incomplete objects can be instantiated. Incomplete objects can be completed in an object-based fashion.  ...  We extend the core calculus of classes and mixins of [8] with incomplete objects.  ... 
doi:10.1145/1028664.1028753 dblp:conf/oopsla/BettiniBL04 fatcat:fc4fapbaubfgzcxhofrtraqndq

McJava – A Design and Implementation of Java with Mixin-Types [chapter]

Tetsuo Kamina, Tetsuo Tamai
2004 Lecture Notes in Computer Science  
We propose a programming language McJava, an extension of Java with mixin-types. We formulate a core of McJava with typing and reduction rules, and prove its type soundness.  ...  General Terms Language design and implementation Keywords Mixin-types, Higher order mixins, Featherweight Java, Translation 1 We use an operator :: to denote mixin compositions 2 Mixin-based Compositions  ...  Acknowledgements: The authors would like to thank Atsushi Igarashi, Hidehiko Masuhara and Etsuya Shibayama for their very helpful comments on the earlier version of this paper.  ... 
doi:10.1007/978-3-540-30477-7_27 fatcat:zkstz2hdarh37prd7timuw6r74

Coordinating Mobile Object-Oriented Code [chapter]

Lorenzo Bettini, Viviana Bono, Betti Venneri
2002 Lecture Notes in Computer Science  
In this paper, a mixin-based approach is proposed for structuring mobile object-oriented code and it is shown to fit in the dynamic and open nature of a mobile code scenario.  ...  We introduce MoMi (Mobile Mixins), a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context.  ...  Acknowledgments We thank Rocco De Nicola and the anonymous referees for helpful suggestions. We are very grateful to Luca Cardelli for pointing out crucial questions in the early version of the paper.  ... 
doi:10.1007/3-540-46000-4_8 fatcat:spvxsvkmxjektcfvbn4sqf2t64

Safe and flexible objects

Lorenzo Bettini, Viviana Bono, Silvia Likavec
2005 Proceedings of the 2005 ACM symposium on Applied computing - SAC '05  
We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are "incomplete objects", that can be completed in object-based fashion.  ...  The combination of class-based features with object-based ones offers some flexible programming solutions.  ...  The formal operational semantics of our calculus is as in [4] , therefore it extends the semantics of the core calculus of classes and mixins of [8] .  ... 
doi:10.1145/1066677.1066963 dblp:conf/sac/BettiniBL05 fatcat:iz2xab2hy5flhikrd4ftarmxqu

Mixin modules

Dominic Duggan, Constantinos Sourelis
1996 Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96  
Mixin modules require no changes to the core ML type system, and only a very minor change to its run-time semantics.  ...  Several applications are described, including the resolution of cycles in module import dependency graphs, as well as functionality related to Haskell type classes and CLOS generic functions, though without  ...  We do this to simplify the presentation, since higher-order functors do not materially affect the semantics of mixin modules.  ... 
doi:10.1145/232627.232654 dblp:conf/icfp/DugganS96 fatcat:wori4gcgvjg6vmxeqdvzzhqhgu

O'Klaim: A Coordination Language with Mobile Mixins [chapter]

Lorenzo Bettini, Viviana Bono, Betti Venneri
2004 Lecture Notes in Computer Science  
This paper presents O'Klaim (Object-Oriented Klaim), a linguistic extension of the higher-order calculus for mobile processes Klaim with object-oriented features.  ...  This mechanism is coordinated by providing a subtyping relation on classes and mixins, which become polymorphic items during communication.  ...  Therefore, MoMi is a combination of a core coordination calculus and an object-oriented mixin-based calculus. MoMi highly relies on typing.  ... 
doi:10.1007/978-3-540-24634-3_5 fatcat:bq77s54mlfaxrbjla7do3wi2wm

MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono
2005 Acta Informatica  
The key feature of the paper is the definition of this subtyping relation on classes and mixins that enables a significantly flexible, yet still simple, communication pattern.  ...  MOMI (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context.  ...  Acknowledgments We thank the anonymous referees for many helpful remarks and suggestions. References  ... 
doi:10.1007/s00236-005-0176-0 fatcat:mfc2fbyf4vdmpmkjutyih47c34

Safe and Flexible Objects with Subtyping

Lorenzo Bettini, Viviana Bono, Silvia Likavec
2005 Journal of Object Technology  
Syntax of the calculus The starting point for our calculus is The Core Calculus of Classes and Mixins of Bono et al. [9] which, in turn, is based on Reference ML of Wright and Felleisen [28] .  ...  Moreover, we do not consider higher-order mixins (mixins that can also be applied to other mixins yielding other mixins) and related mixin composition, being an orthogonal issue.  ...  The operational semantics extends the semantics of the core calculus of classes and mixins [9] , hence it exploits the Reference ML of Wright and Felleisen [28] treatment of side-effects.  ... 
doi:10.5381/jot.2005.4.10.a1 fatcat:yd3o74vrxbatbdnrztwd7frwja

A form-based meta-model for software composition

M. Lumpe, J.-G. Schneider
2005 Science of Computer Programming  
Forms are first-class, immutable, extensible records that allow for the specification of compositional abstractions in a language-neutral and robust way.  ...  Unfortunately, these languages typically provide only a fixed and restricted set of mechanisms for constructing and composing compositional abstractions.  ...  Acknowledgements We would like to thank our former colleagues of the Software Composition Group for inspiring discussions on these topics as well as the anonymous reviewers for commenting on earlier drafts  ... 
doi:10.1016/j.scico.2004.11.005 fatcat:xs7ihyz7afeapavgndil3udyiq

A virtual class calculus

Erik Ernst, Klaus Ostermann, William R. Cook
2006 SIGPLAN notices  
Virtual classes support large-scale program composition techniques, including higher-order hierarchies and family polymorphism.  ...  This paper presents a virtual class calculus, vc, that captures the essence of virtual classes in these full-fledged programming languages.  ...  Acknowledgments We are very grateful to Sophia Drossopoulou and Christopher Anderson who have been involved in the process at an earlier stage,  ... 
doi:10.1145/1111320.1111062 fatcat:nbzhmatej5cn5ifnxm3ztxqqja

A virtual class calculus

Erik Ernst, Klaus Ostermann, William R. Cook
2006 Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL'06  
Virtual classes support large-scale program composition techniques, including higher-order hierarchies and family polymorphism.  ...  This paper presents a virtual class calculus, vc, that captures the essence of virtual classes in these full-fledged programming languages.  ...  Acknowledgments We are very grateful to Sophia Drossopoulou and Christopher Anderson who have been involved in the process at an earlier stage,  ... 
doi:10.1145/1111037.1111062 dblp:conf/popl/ErnstOC06 fatcat:ewsx7vfe7fh37mhbqrsuqyfo5m

Call-by-Value Mixin Modules [chapter]

Tom Hirschowitz, Xavier Leroy, J. B. Wells
2004 Lecture Notes in Computer Science  
In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.  ...  Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redefinitions, and cross-module recursion.  ...  Conclusion We have presented a language of call-by-value mixin modules, equipped with a reduction semantics and a sound type system.  ... 
doi:10.1007/978-3-540-24725-8_6 fatcat:csv7pp6jlrhrpjoat7y4lqs33q
« Previous Showing results 1 — 15 out of 268 results