3844 search results - page 52 / 769 » Modular interpreted systems |
CORR
1998
Springer
14 years 11 months ago
1998
Springer
NOTERE
2010
14 years 9 months ago
2010
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
The design of cryptographic hash functions is a very complex and failure-prone process. For this reason, this paper puts forward a completely modular and fault-tolerant approach to...
105
click to vote
CCL
1994
Springer
15 years 4 months ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
OOPSLA
1998
Springer
15 years 4 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...