Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Metaclasses are first class: The ObjVlisp Model
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Structural subtyping and the notion of power type
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Communications of the ACM - Special issue on analysis and modeling in software development
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Covariant deep subtyping reconsidered
ACM SIGPLAN Notices
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Object-oriented programming in the BETA programming language
Object-oriented programming in the BETA programming language
Reflective languages and metalevel architectures
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Applying UML and patterns: an introduction to object-oriented analysis and design
Applying UML and patterns: an introduction to object-oriented analysis and design
Pattern languages of program design 3
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Communications of the ACM
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Meta-Level Architectures and Reflection
Meta-Level Architectures and Reflection
IEEE Transactions on Knowledge and Data Engineering
Materialization: A Powerful and Ubiquitous Abstraction Pattern
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
The Adaptive Object-Model Architectural Style
WICSA 3 Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture: System Design, Development and Maintenance
Explicit Metaclasses as a Tool for Improving the Design of Class Libraries
ISOTAS '96 Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software
The Essence of Multilevel Metamodeling
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Polyglot: an extensible compiler framework for Java
CC'03 Proceedings of the 12th international conference on Compiler construction
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A Systematic Approach to Connectors in a Multi-level Modeling Environment
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
On the Challenges of Correctly Using Metamodels in Software Engineering
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Contrasting classification with generalisation
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Multi-level domain modeling with m-objects and m-relationships
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Modeling techniques for multi-level abstraction
The evolution of conceptual modeling
Automated model-to-metamodel transformations based on the concepts of deep instantiation
Proceedings of the 14th international conference on Model driven engineering languages and systems
An automated process for implementing multilevel domain models
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Domain-specific textual meta-modelling languages for model driven engineering
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Combining traits with boxes and ownership types in a Java-like setting
Science of Computer Programming
A graph transformation-based semantics for deep metamodelling
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
On the application of software modelling principles on ISO 15926
Proceedings of the Modelling of the Physical World Workshop
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Reusable abstractions for modeling languages
Information Systems
Hi-index | 0.00 |
Since the introduction of object-oriented programming few programming languages have attempted to provide programmers with more than objects and classes, i.e., more than two levels. Those that did, almost exclusively aimed at describing language properties-i.e., their metaclasses exert linguistic control on language concepts and mechanisms-often in order to make the language extensible. In terms of supporting logical domain classification levels, however, they are still limited to two levels. In this paper we conservatively extend the object-oriented programming paradigm to feature an unbounded number of domain classification levels. We can therefore avoid the introduction of accidental complexity into programs caused by accommodating multiple domain levels within only two programming levels. We present a corresponding language design featuring ``deep instantiation'' and demonstrate its features with a running example. Finally, we outline the implementation of our compiler prototype and discuss the potentials of further developing our language design.