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!
http://games.entertainment.gmx.net/de/entertainment/games/free/puzzle/6169196
Received on Tuesday, 14 October 2008 16:44:39 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:55 GMT