Probabilistic and Statistical Analysis of Perforated Patterns
We present a new foundation for the analysis and transformation of computer programs.Standard approaches involve the use of logical reasoning to prove that the applied transformation does not change the observable semantics of the program. Our approach, in contrast, uses probabilistic and statistica...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Published: |
2011
|
| Online Access: | http://hdl.handle.net/1721.1/60675 |