2604 search results - page 14 / 521 » General constant expressions for system programming language... |
123
Voted
COLT
1999
Springer
15 years 7 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
126
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
248
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
182
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
133
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...