Full article:
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)
| |