3394 search results - page 21 / 679 » Regular Object Types |
OOPSLA
1991
Springer
14 years 16 days ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
VLDB
1991
ACM
14 years 15 days ago
1991
ACM
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
FMOODS
2007
13 years 10 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
POS
1994
Springer
14 years 1 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
ECOOP
2006
Springer
14 years 21 days ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...