540 search results - page 32 / 108 » Protection in Programming-Language Translations |
69
Voted
ASPLOS
2000
ACM
15 years 1 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...
78
Voted
ICFP
1999
ACM
15 years 1 months ago
1999
ACM
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
73
Voted
IFIP
1994
Springer
15 years 1 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
78
Voted
CTCS
1987
Springer
15 years 1 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
85
Voted
ESOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...