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
: The core structure of object technology
The instance–inheritance structure of the object model under scrutiny.
The ultimate connection between object model core and set theory.
The core structure of OOP
Considered are Ruby, Python, Java, Scala, Smalltalk, Objective-C, CLOS, Perl.
Considered are RDF Schema and OWL 2.
Object membership versus Cardelli's/Odell's power types.
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.
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.
: A proposal of a web application
Comparison with other libraries
Mg R-tree Library
A simple C++ R-tree implementation with Segment Incidences Detector as an application.
(Formerly available at