Search Sciweavers | Sciweavers

92 search results - page 2 / 19

» A Logic for Encapsulation in Object-Oriented Languages

click to vote

ER
1995
Springer

152views Database» more ER 1995»

A Logic Framework for a Semantics of Object-Oriented Data Modeling

13 years 9 months ago

Download www.starlab.vub.ac.be

We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...

Olga De Troyer, Robert Meersman

claim paper

Read More »

click to vote

ESOP
1998
Springer

174views Programming Languages» more ESOP 1998»

Recursive Object Types in a Logic of Object-Oriented Programs

13 years 10 months ago

Download www.hpl.hp.com

K. Rustan M. Leino

claim paper

Read More »

click to vote

ENTCS
2006

129views more ENTCS 2006»

A Constructive Object Oriented Modeling Language for Information Systems

13 years 5 months ago

Download homepages.inf.ed.ac.uk

One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...

Mario Ornaghi, Marco Benini, Mauro Ferrari, Camill...

claim paper

Read More »

click to vote

VLDB
1993
ACM

115views Database» more VLDB 1993»

Coral++: Adding Object-Orientation to a Logic Database Language

13 years 9 months ago

Download www.vldb.org

Divesh Srivastava, Raghu Ramakrishnan, Praveen Ses...

claim paper

Read More »