442 search results - page 81 / 89 » Proof Abstraction for Imperative Languages |
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
EUROCRYPT
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a defi...
DSRT
2009
IEEE
14 years 14 days ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
ASIAN
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
FMCAD
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...