The structure arises as a generalization of the innermost core of the object model of the Ruby programming language. In Ruby, the .ec map is total – every object has an eigenclass. The following equalities hold:
As an essential feature, the structure supports circular objects,
i.e. objects x such that
A general mathematical structure of object membership is described in an affiliate document []. A gradual set-theoretic representation is provided with the exact correspondence of ϵ, ≤, .ec and derived constituents of the structure to fundamental notions of set theory.
As a result, a uniform and mathematically precise view of an essential part of object technology is provided.
A Theory of Objects, Springer Science & Business Media 1996, http://lucacardelli.name/theoryofobjects.html | ,|
[Python-Dev] Classes and Metaclasses in Smalltalk , 2001, https://mail.python.org/pipermail/python-dev/2001-May/014508.html | ,|
Metalevel Programming in CLOS, In ECOOP, vol. 89, 1989, http://www.ifs.uni-linz.ac.at/~ecoop/cd/papers/ec89/ec890243.pdf | ,|
The common Lisp object system metaobject kernel: a status report, Proceedings of the 1988 ACM conference on LISP and functional programming, ACM 1988, | ,|
The LOOPS Manual, Xerox Corporation 1983, | ,|
Object-oriented analysis and design with applications, Vol. 3, Addison-Wesley 2008, | ,|
What IS-A is and isn't: An analysis of taxonomic links in semantic networks, Computer 16.10, North-Holland 1983, | ,|
Foundations of Object-Oriented Programming Languages: Types and Semantics, MIT Press 2002, | ,|
The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language, European Conference on Artificial Intelligence (ECAI'86), Advances in Artificial Intelligence-II, North-Holland 1986, | ,|
A Uniform Model for Object-Oriented Languages Using the Class Abstraction, Tenth International Joint Conference on Artificial Intelligence (IJCAI'87), 1987, | ,|
Structural Subtyping and the Notion of Power Type, Proc. of the 15th ACM Symp. on Principles of Programming Languages, POPL'88, 1988, http://www.daimi.au.dk/~madst/tool/tool2004/papers/structural.pdf | ,|
Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, 1990, | ,|
Cocoa Programming Developer's Handbook, Addison Wesley 2009, | ,|
Metaclasses are First Class: the ObjVlisp Model , Proceeding OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications , North-Holland 1987, | ,|
Object Oriented Perl, Manning Publications, 2000, | ,|
Definition and Application of Metaclasses, Proceedings of the 12th International Conference on Database and Expert Systems Applications, Springer-Verlag 2001, http://cs.ulb.ac.be/publications/P-01-01.pdf | ,|
ECMAScript Language Specification, Edition 5.1, http://www.ecma-international.org/ecma-262/5.1/ | ,|
The double inclusion problem, 2005, http://eigenclass.org/hiki/The+double+inclusion+problem | ,|
JavaScript: The Definitive Guide, Sixth Edition, O'Reilly 2011 | ,|
Dylan Programming: An Object-oriented and Dynamic Language, Addison Wesley 1996 opendylan.org/books/dpg/ | ,|
Putting Metaclasses to Work, Addison Wesley 1998 | ,|
Java Reflection in Action, Manning Publications 2005 | ,|
A powertype-based metamodelling framework, Software & Systems Modeling 5.1 2006 | ,|
The Smalltalk-76 programming system design and implementation, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM, 1978 | ,|
Ruby Draft Specification, 2010, https://www.ipa.go.jp/osc/english/ruby/ | ,|
Algebraic set theory, Cambridge University Press 1995 | ,|
General Topology, Springer 1975 | ,|
OWL-Full Reasoning from an Object Oriented Perspective, The Semantic Web–ASWC 2006 Springer 2006 http://www-kasm.nii.ac.jp/papers/takeda/06/koide06aswc.pdf | ,|
Object-oriented software engineering, McGrawhill Education 2005 | ,|
A procedural semantics for semantic networks, Associative networks: Representation and use of knowledge by computers 1979 | ,|
Learning Python, O'Reilly 2009 | ,|
Benchmarking RDF Schemas for the Semantic Web, ISWC, 2002, http://www.ics.forth.gr/isl/publications/paperlink/iswc02.pdf | ,|
Metalevel solution to inheritance anomaly in concurrent object-oriented languages, Proceedings of the ECOOP/OOPSLA'90 Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming 1990 | ,|
Language Features for Re-Use and Extensibility in Concurrent Object-Oriented Programming Languages, 1993 | ,|
The common lisp object system: An overview, ECOOP'87 European Conference on Object-Oriented Programming 1987 | ,|
Pharo by Example, Square Bracket Associates 2009, http://pharobyexample.org | ,|
Power Types, Journal of Object-Oriented Programming 7.2 1994 | ,|
OMG UML Superstructure 2.4.1, Object Management Group 2011 | ,|
That IS-IN Isn't IS-A: A Further Analysis of Taxonomic Links in Conceptual Modelling, 2012 | ,|
The Ruby Object Model: Data Structure in Detail, 2012, http://www.atalon.cz/rb-om/ruby-object-model | ,|
The Ruby Object Model: S1 superstructure representation, 2012, http://www.atalon.cz/rb-om/ruby-object-model/s1-rep/ | ,|
Ruby Object Model – The S1 structure, 2012, http://www.atalon.cz/rb-om/ruby-object-model/rb-om-s1.pdf | ,|
The Ruby Object Model: Comparison with Smalltalk-80, 2012, http://www.atalon.cz/rb-om/ruby-object-model/co-smalltalk/ | ,|
Object Membership: The Core Structure of Object-Oriented Programming, 2012–2015, http://www.atalon.cz/om/object-membership/oop/ | ,|
Object Membership: The ontological structure, 2012, http://www.atalon.cz/om/object-membership/ontology/ | ,|
Object Membership – Basic Structure, 2015, http://www.atalon.cz/om/object-membership/basic/ | ,|
Object Membership: Simplified Structure, 2015, http://www.atalon.cz/om/object-membership/simple/ | ,|
The Dialectic of Classes and Metaclasses in Smalltalk-80, 2015, http://www.atalon.cz/om/smalltalk/dialectic/ | ,|
Object Membership with Prototypes, 2015, http://www.atalon.cz/om/object-membership/prototypes/ | ,|
Object Membership and Powertypes, 2015, http://www.atalon.cz/om/object-membership/powertypes/ | ,|
What Is a Metaclass?, 2016, http://www.atalon.cz/om/what-is-a-metaclass/ | ,|
Featherweight Java Axiomatically, 2016, http://www.atalon.cz/om/featherweight-java-axiomatically/ | ,|
Arithmetices principia: nova methodo, Fratres Bocca 1889, https://archive.org/details/arithmeticespri00peangoog | ,|
Dylan Enhancement Proposal: Subclass, Dylan Hackers 1995, http://opendylan.org/proposals/dep-0005.html | ,|
Language support for Adaptive Object-Models using Metaclasses , Computer Languages, Systems & Structures, 31(3) 2005, | ,|
Traits: Composing Classes from Behavioral Building Blocks, 2005, http://scg.unibe.ch/archive/phd/schaerli-phd.pdf | ,|
Dylan, an object-oriented dynamic language, Apple Computer Inc 1992, | ,|
Common LISP: the language, Digital press 1990, | ,|
Self: The power of simplicity, Vol. 22. No. 12. ACM, 1987, | ,|
Editorial, Journal of Object Technology 2002, http://www.jot.fm/issues/issue_2002_05/editorial/index.html | ,|
OWL 2 Profiles, 2009, http://www.w3.org/TR/owl2-profiles/ | ,|
OWL 2 RDF-Based Semantics, 2009, http://www.w3.org/TR/owl2-rdf-based-semantics/ | ,|
RDF Schema, 2004, http://www.w3.org/TR/rdf-schema/ | ,|
RDF Semantics, 2004, http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ | ,|
RDF 1.1 Semantics, 2014, http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/ | ,|
RDF Vocabulary Description Language 1.0: RDF Schema, 2004, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/ | ,|
Terse RDF Triple Language, 2014, http://www.w3.org/TR/turtle/ | ,|
Wikipedia: The Free Encyclopedia,
http://wikipedia.org
Prototype-based programming
,
Eigenclass model
(January 2013)
|