www.atalon.cz
The Ruby Object Model
: Data Structure in Detail
Semi-formal description of the Ruby object model.
Comparison with Smalltalk-80
S1 superstructure representation
The S1 structure
(PDF)
(Abstract)
Object Membership
: The core structure of object technology
The instance–inheritance structure of the object model under scrutiny.
(Abstract)
(PDF)
Basic Structure
The ultimate connection between object model core and set theory.
(Abstract)
(PDF)
The core structure of OOP
Considered are Ruby, Python, Java, Scala, Smalltalk, Objective-C, CLOS, Perl.
Ontological structure
Considered are RDF Schema and OWL 2.
Prototypes
JavaScript prototypes as inverse eigenclasses of classes.
Powertypes
Object membership versus Cardelli's/Odell's power types.
Simplified structure
A lightweight version of basic structure.
The Dialectic of Classes and Metaclasses in Smalltalk-80
Doublethink in Smalltalk.
What Is a Metaclass?
A startpoint for the study of messiness of computer science.
(PDF)
Featherweight Java Axiomatically
A mathematical description of Featherweight Java.
The Linux VFS Model
: Naming structure
Formal description of the Linux Virtual Filesystem naming structure. Only static structure is provided, without transitions.
Web File-Manager
: A proposal of a web application
JavaScript-based proposal of a world-wide web file-manager.
jClassy
: Class system in JavaScript
A JavaScript library providing a class-system core for building object-oriented JavaScript programs.
Comparison with other libraries
Mg R-tree Library
A simple C++ R-tree implementation with Segment Incidences Detector as an application.
(Formerly available at
http://www.volny.cz/r-tree/
.)