83 search results - page 1 / 17 » Uniform Traversal Combinators: Definition, Use and Propertie... |
CADE
1992
Springer
13 years 9 months ago
1992
Springer
CORR
2002
Springer
13 years 5 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
DAIS
2011
12 years 9 months ago
2011
Gossip-based peer sampling protocols have been widely used as a building block for many large-scale distributed applications. However, Network Address Translation gateways (NATs) c...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
CSFW
2000
IEEE
13 years 9 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...