W3C home > Mailing lists > Public > public-rif-wg@w3.org > October 2008

Java objects vs. Frames

From: Adrian Paschke <Adrian.Paschke@gmx.de>
Date: Tue, 14 Oct 2008 18:34:18 +0200
Message-ID: <20081014163418.3180@gmx.net>
To: public-rif-wg@w3.org

Java type systems are usually not considered as interpretations in the strict model-theoretic definition, but are composite structures involving several different structures whose elements have a certain inner composition. However, transformations of composite structures into their
at model theoretic presentations is in the majority of cases possible. So, we could define some kind of flattening from objects used in PRD to model theoretic structures.

Moreover, from a practical point of view, it is convenient to neglect the inner composition of the elements of the universe of a structure.

- Adrian

GMX Kostenlose Spiele: Einfach online spielen und Spaß haben mit Pastry Passion!
Received on Tuesday, 14 October 2008 16:44:39 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC