2233 search results - page 4 / 447 » Modular type classes |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
ESORICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
IANDC
2006
13 years 8 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
VLDB
1994
ACM
14 years 18 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...