24 search results - page 4 / 5 » Piercing d -Intervals |
POPL
2006
ACM
14 years 6 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
EUROSEC
2010
ACM
14 years 1 months ago
2010
ACM
Fighting global security threats with only a local view is inherently difficult. Internet network operators need to fight global phenomena such as botnets, but they are hampered...
SC
2009
ACM
14 years 1 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
FCT
2007
Springer
14 years 16 days ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
TLCA
1993
Springer
13 years 10 months ago
1993
Springer
d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...