242 search results - page 22 / 49 » How to deal with software stability |
CC
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
ECOOP
2006
Springer
14 years 2 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
FSTTCS
2006
Springer
14 years 2 months ago
2006
Springer
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
ISN
2000
Springer
14 years 2 months ago
2000
Springer
The growth of commercial activities across networks has led to the network itself becoming a competitive marketplace with a multitude of vendors, operators and customers. In such a...
TCS
2008
13 years 11 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...