4211 search results - page 778 / 843 » Types as Abstract Interpretations |
116
Voted
TAPSOFT
1993
Springer
15 years 7 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...
150
Voted
DIAL
2004
IEEE
15 years 7 months ago
2004
IEEE
Obsolescence in storage media and the hardware and software for access and use can render old electronic files inaccessible and unusable. Therefore, the long-term preservation of ...
169
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In the FTA project in Nijmegen we have formalized a constructive proof of the Fundamental Theorem of Algebra. In the formalization, we have first defined the (constructiv...
129
Voted
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In secure computation among a set P of players one considers an adversary who can corrupt certain players. The three usually considered types of corruption are active, pa...
124
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...