Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Object-oriented programming with flavors
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
A programmer's guide to object-oriented programming in Common LISP
A programmer's guide to object-oriented programming in Common LISP
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
The definition of Standard ML
Journal of the ACM (JACM)
Abstract and concrete categories
Abstract and concrete categories
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
The programming language jigsaw: mixins, modularity and multiple inheritance
The programming language jigsaw: mixins, modularity and multiple inheritance
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Manifest types, modules, and separate compilation
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type-theoretic approach to higher-order modules with sharing
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
Object-oriented programming in the BETA programming language
Object-oriented programming in the BETA programming language
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Using parameterized signatures to express modular structure
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specification of abstract data types
Specification of abstract data types
Object-Oriented Software Construction
Object-Oriented Software Construction
The Java Programming Language
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Lambda Calculus of Incomplete Objects
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
From Static to Dynamic Abstract Data-Types
MFCS '96 Proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science
A Module Calculus for Pure Type Systems
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
A Formal Framework for Modules with State
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Import is Not Inheritance - Why We Need Both: Modules and Classes
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
An Application Framework For Module Composition Tools
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Overriding Operators in a Mixin-Based Framework
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
An Applicative Module Calculus
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
An Algebraic Approach to Mixins and Modularity
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Behavioural Satisfaction and Equivalence in Concrete Model Categories
CAAP '96 Proceedings of the 21st International Colloquium on Trees in Algebra and Programming
A denotational semantics of inheritance
A denotational semantics of inheritance
An application framework for compositional modularity
An application framework for compositional modularity
Modular mixin-based inheritance for application frameworks
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 24th International Conference on Software Engineering
Type-Safe linking with recursive DLLs and shared libraries
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Recursive Record Semantics of Objects Revisited
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
An Algebraic Framework for Separate Type-Checking
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
MIX(FL): A Kernel Language of Mixin Modules
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Jam - A Smooth Extension of Java with Mixins
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
True Modules for Java-like Languages
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Type-Safe Prototype-Based Component Evolution
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Sharing in Typed Module Assembly Language
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Component Construction of Database Schemes
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Jam---designing a Java extension with mixins
ACM Transactions on Programming Languages and Systems (TOPLAS)
A first-class approach to genericity
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
A theory of mixin modules: algebraic laws and reduction semantics
Mathematical Structures in Computer Science
Journal of Functional Programming
Journal of Functional Programming
The recursive record semantics of objects revisited
Journal of Functional Programming
Super and inner: together at last!
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Safe instantiation in generic Java
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Component development and construction for database design
Data & Knowledge Engineering - Special issue: ER 2002
Component-driven engineering of database applications
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
A calculus of open modules: call-by-need strategy and confluence
Mathematical Structures in Computer Science
Mixin' up the ML module system
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Mixin’ Up the ML Module System
ACM Transactions on Programming Languages and Systems (TOPLAS)
Locales: A Module System for Mathematical Theories
Journal of Automated Reasoning
| Hi-index | 0.00 |
Mixins are modules in which some components are deferred, that is, their definition has to be provided by another module. Moreover, in contrast to parameterized modules (like ML functors), mixin modules can be mutually dependent and their composition supports the redefinition of components (overriding). In this paper, we present a formal model of mixins and their basic composition operators. These operators can be viewed as a kernel language with clean semantics in which one can express more complex operators of existing modular languages, including variants of inheritance in object-oriented programming. Our formal model is given in an ‘institution independent’ way, that is, it is parameterized by the semantic framework modelling the underlying core language.