Sciweavers

4190 search results - page 153 / 838
» Type Class Directives
Sort
View
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 9 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
EJC
2007
15 years 3 months ago
The exceptional hyperplanes of DH(5, 4)
In [2], we showed the existence of five isomorphism classes of hyperplanes in each dual polar space of type DH(5, q2). We also proved there that every hyperplane of DH(5, q2) bel...
Bart De Bruyn, Harm Pralle
JOT
2006
121views more  JOT 2006»
15 years 3 months ago
Constructing persistent object-oriented models with standard C++
In this paper, it is suggested an approach and a design pattern for developing object-oriented models that need to be persistent, including the databases of moderate size, with us...
Alexander Kozynchenko
EKAW
2004
Springer
15 years 9 months ago
On the Foundations of UML as an Ontology Representation Language
There is a growing interest in the use of UML class diagrams as a modeling language to represent domain ontologies. In a series of papers (e.g., [1,2]) we have been using the Gener...
Giancarlo Guizzardi, Gerd Wagner, Heinrich Herre
TKDE
2002
77views more  TKDE 2002»
15 years 3 months ago
Materialization and Its Metaclass Implementation
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
Mohamed Dahchour, Alain Pirotte, Esteban Zim&aacut...