76 search results - page 2 / 16 » An Extensible Encoding of Object-oriented Data Models in hol |
ECOOP
1992
Springer
13 years 9 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
ICMCS
1994
IEEE
13 years 9 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
APL
2000
ACM
13 years 9 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
ECOWS
2009
Springer
14 years 1 days ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
TPHOL
2008
IEEE
13 years 12 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...