1081 search results - page 45 / 217 » Type Inference of SELF |
155
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
102
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
The formal core calculus .FJ has been introduced to model lightweight family polymorphism, a programming style to support reusable yet type-safe mutually recursive classes. This pa...
107
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
129
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Procedures for collective inference make simultaneous statistical judgments about the same variables for a set of related data instances. For example, collective inference could b...
138
click to vote
JOC
2008
15 years 3 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...