1002 search results - page 15 / 201 » Reasoning about Object Structures Using Ownership |
119
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
105
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
100
click to vote
KI
2010
Springer
15 years 12 days ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
116
click to vote
FLAIRS
2001
15 years 3 months ago
2001
The World Wide Webprovides new opportunities for collecting information from distributed, multiple, and heterogeneous data sources. Information brokering can bc used to provide co...
148
click to vote
ISKI
1994
15 years 6 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...