1821 search results - page 12 / 365 » Security-Aware Program Transformations |
CAV
2012
Springer
11 years 10 months ago
2012
Springer
elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in...
CAV
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
APLAS
2009
ACM
14 years 2 months ago
2009
ACM
INFSOF
2002
13 years 7 months ago
2002
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
SPIN
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...