131
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...