375 search results - page 28 / 75 » Semantic Modeling of Object Oriented Databases |
FMOODS
2007
13 years 11 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
OOPSLA
1989
Springer
14 years 1 months ago
1989
Springer
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
LAWEB
2003
IEEE
14 years 3 months ago
2003
IEEE
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
TLCA
1995
Springer
14 years 1 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...