87 search results - page 12 / 18 » Generic record combinators with static type checking |
140
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
146
Voted
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
131
click to vote
POPL
2010
ACM
16 years 1 days ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
119
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
111
click to vote
PODS
1994
ACM
15 years 6 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...