1549 search results - page 305 / 310 » On the rules of intermediate logics |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
OOPSLA
2004
Springer
14 years 29 days ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
VLDB
2004
ACM
14 years 29 days ago
2004
ACM
Oracle XML DB integrates XML storage and querying using the Oracle relational and object relational framework. It has the capability to physically store XML documents by shredding...