374 search results - page 14 / 75 » Modular Semantics and Logics of Classes |
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
VLDB
1994
ACM
14 years 24 days ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
IJAR
2007
13 years 8 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
WEBI
2007
Springer
14 years 2 months ago
2007
Springer
The size of the Web and its increase rate made it cumbersome to locate high precision results to a requested piece of information. The Semantic Web provides a framework and a set ...