3394 search results - page 17 / 679 » Regular Object Types |
123
Voted
CGO
2006
IEEE
15 years 4 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...
113
Voted
EJC
2011
14 years 7 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...
100
Voted
SIGSOFT
2004
ACM
15 years 5 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...
101
click to vote
CONCUR
1999
Springer
15 years 4 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...
180
click to vote
POPL
2003
ACM
16 years 23 days 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,...