3394 search results - page 17 / 679 » Regular Object Types |
160
click to vote
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...
146
click to vote
EJC
2011
14 years 11 months ago
2011
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
132
click to vote
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
134
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
230
click to vote
POPL
2003
ACM
16 years 5 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,...