340 search results - page 4 / 68 » A Graph-Based Type Representation for Objects |
124
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
129
Voted
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
210
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
240
Voted
ECOOP
2009
Springer
16 years 3 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
133
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...