21 search results - page 3 / 5 » The verified software repository: a step towards the verifyi... |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
ICFP
2000
ACM
13 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
CSMR
2006
IEEE
13 years 11 months ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...