1746 search results - page 337 / 350 » A Constructive Semantics for ALC |
OOPSLA
2004
Springer
14 years 3 months 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...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
KCAP
2003
ACM
14 years 3 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...
CICLING
2003
Springer
14 years 3 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...