3926 search results - page 3 / 786 » A Logic of Object-Oriented Programs |
220
Voted
ER
1995
Springer
15 years 9 months ago
1995
Springer
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...
126
click to vote
CSMR
2006
IEEE
15 years 12 months ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...
164
click to vote
LOPSTR
2007
Springer
15 years 12 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
162
Voted
VRST
1999
ACM
15 years 10 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
165
click to vote
DOOD
1993
Springer
15 years 10 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...